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

Cached

Download Links

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

Active Bibliography

126 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
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
22 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
362 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
435 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
685 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
49 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
2 A History of Satisfiability – John Franco, John Martin - 2009