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
13 The Enigma of SAT Hill-climbing Procedures – Ian P. Gent, Toby Walsh - 1992
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
49 An Empirical Analysis of Search in GSAT – Ian Gent, Toby Walsh - 1993
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
2 Solving 3-SAT by GAs Adapting Constraint Weights – A. E. Eiben, J.K. van der Hauw - 1997
7 Evaluating and Improving Steady State Evolutionary Algorithms on Constraint Satisfaction Problems – Koen Van Der Hauw - 1996
114 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997
5 Solving MAX-SAT and Weighted MAX-SAT Problems Using Branch-and-Cut – Steve Joy , John E. Mitchell , Brian Borchers - 1998
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
42 Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT – Yuejun Jiang, Henry Kautz, Bart Selman - 1995
46 A General Stochastic Approach to Solving Problems with Hard and Soft Constraints – Henry Kautz, Bart Selman, Yueyen Jiang - 1996
GSAT: A new method for solving hard satisfiability problems – Bart Selman, Hector Levesque, David Mitchell - 1992
51 Satisfiability Testing with More Reasoning and Less Guessing – Allen Van Gelder, Yumi K. Tsuji - 1995
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993