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
Add
Validate
Truth Tables