Chapter 2 Satisfiability Solvers

2008/01/01 by Carla P. Gomes, Henry Kautz, Ashish Sabharwal +1 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Constraint Satisfaction and Optimization #Formal Methods in Verification

paper · doi:10.1016/s1574-6526(07)03002-7

crossref issued 2008/01/01 · crossref published 2008/01/01 · crossref published-print 2008/01/01 · openalex publication_date 2008/01/01 · crossref created 2008/09/12 · openalex created_date 2025/10/10 · crossref deposited 2025/10/28 · crossref indexed 2026/07/06 · openalex updated_date 2026/07/28

Citations

• Typical random 3-SAT formulae and the satisfiability threshold
• Resolution for Quantified Boolean Formulas
• The complexity of theorem-proving procedures
• A Knowledge Compilation Map
• Artificial intelligence: a modern approach
• A Bayesian Approach to Tackling Hard Computational Problems
• How much backtracking does it take to color random graphs? Rigorous results on heavy tails

Cited by

• Boolean satisfiability problem [wikipedia]