Demo of the asynchronous 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