arXiv:cs/0701023 [cs.CC]AbstractReferencesReviewsResources
A Polynomial Time Algorithm for 3-SAT
Published 2007-01-04, updated 2008-07-15Version 4
Article describes a class of efficient algorithms for 3SAT and their generalizations on SAT.
Comments: 9 pages. The version consolidates results and shares know-how
Related articles: Most relevant | Search more
A Polynomial Time Algorithm for SAT
arXiv:cs/0703098 [cs.CC] (Published 2007-03-21)
Polynomial time algorithm for 3-SAT. Examples of use
A Polynomial Time Algorithm for Graph Isomorphism