arXiv:cs/0703098 [cs.CC]AbstractReferencesReviewsResources
Polynomial time algorithm for 3-SAT. Examples of use
Published 2007-03-21Version 1
The algorithm checks the propositional formulas for patterns of unsatisfiability.
Comments: 19 pages
Related articles: Most relevant | Search more
A Polynomial Time Algorithm for SAT
A Polynomial Time Algorithm for 3-SAT
arXiv:2304.12517 [cs.CC] (Published 2023-04-25)
The 2-MAXSAT Problem Can Be Solved in Polynomial Time