A New Method for Solving Hard Satisfiability Problems (1992)

by Bart Selman , Hector Levesque , David Mitchell
Venue:AAAI
Citations:620 - 20 self

Active Bibliography

GSAT: A new method for solving hard satisfiability problems – Bart Selman, Hector Levesque, David Mitchell - 1992
224 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
207 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
11 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
107 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
1 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
101 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997
194 Hard and Easy Distributions of SAT Problems – David Mitchell, Bart Selman, Hector Levesque - 1992
87 Generating Hard Satisfiability Problems – Bart Selman, David Mitchell, Hector Levesque - 1996
2 Convergence Properties of Optimization Algorithms for the Satisfiability (SAT) Problem – Jun Gu, Qian-ping Gu, Ding Zhu Du - 1996
17 Global Optimization for Satisfiability (SAT) Problem – Jun Gu - 1994
15 Global Search Methods For Solving Nonlinear Optimization Problems – Yi Shang - 1997
37 A General Stochastic Approach to Solving Problems with Hard and Soft Constraints – Henry Kautz, Bart Selman, Yueyen Jiang - 1996
39 Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT – Yuejun Jiang, Henry Kautz, Bart Selman - 1995
19 Approximate Algorithms and Heuristics for MAX-SAT – Roberto Battiti , Marco Protasi - 1998
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
134 Knowledge compilation and theory approximation – Henry Kautz, Bart Selman - 1996
141 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
7 Evaluating and Improving Steady State Evolutionary Algorithms on Constraint Satisfaction Problems – Koen Van Der Hauw - 1996