Towards an understanding of hill-climbing procedures for SAT (1993)

by Ian P. Gent , Toby Walsh Y
Venue:In Proceedings of AAAI-93
Citations:137 - 6 self

Active Bibliography

14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
19 Applying GSAT to Non-Clausal Formulas – Roberto Sebastiani - 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
276 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
126 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
13 The Enigma of SAT Hill-climbing Procedures – Ian P. Gent, Toby Walsh - 1992
362 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
22 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008