GSAT: A new method for solving hard satisfiability problems (1992)

by Bart Selman , Hector Levesque , David Mitchell

Active Bibliography

683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
137 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
A BDD SAT Solver for Satisfiability Testing: A Case Study – Ruchir Puri, Jun Gu - 1993
431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
5 Solving MAX-SAT and Weighted MAX-SAT Problems Using Branch-and-Cut – Steve Joy , John E. Mitchell , Brian Borchers - 1998
14 A branch and cut algorithm for max-sat and weighted max-sat – Steve Joy, John Mitchell, Brian Borchers - 1997
43 Tabu Search for SAT – Bertrand Mazure, Lakhdar Sa, Eric Gregoire
219 Hard and Easy Distributions of SAT Problems – David Mitchell, Bart Selman, Hector Levesque - 1992
98 Generating Hard Satisfiability Problems – Bart Selman, David Mitchell, Hector Levesque - 1996
19 Applying GSAT to Non-Clausal Formulas – Roberto Sebastiani - 1994
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
114 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
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
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
73 Exploiting the deep structure of constraint problems – Colin Williams, Tad Hogg - 1994
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999