Demo of the basic algorithm for 3SAT from arXiv:cs/0701023 [cs.CC]

This polynomial-time method exploits the contradictions between true-assignments satisfying different clauses separately to perform parallel testing of all true-assignments

   What is 3SAT? (from Wikipedia)  Help

Clauses