Finding Hard Instances of the Satisfiability Problem: A Survey (1997)

Cached

Download Links

by Stephen A. Cook , David G. Mitchell
Citations:113 - 1 self

Active Bibliography

124 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
160 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
22 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
679 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
48 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
1117 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001