GSAT and Dynamic Backtracking (1994)

by Matthew L. Ginsberg , David A. McAllester
Venue:Journal of Artificial Intelligence Research
Citations:359 - 14 self

Active Bibliography

24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
16 Ten challenges redux: Recent progress in propositional reasoning and search – Henry Kautz, Bart Selman - 2003
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
1 Compute-intensive methods in artificial intelligence – Bart Selman - 1997
55 Nonsystematic Backtracking Search – William D. Harvey, Matthew L. Ginsberg - 1995
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
7 Improving Backtrack Search for SAT by Means of Redundancy – Laure Brisoux, Éric Grégoire, Lakhdar Saïs - 1999
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
19 Statistical mechanics of combinatorial search – Tad Hogg - 1994
15 Global Search Methods For Solving Nonlinear Optimization Problems – Yi Shang - 1997
Why Solutions Can Be Hard to Find -- A Featural Theory . . . – Josh Singer - 2001
5 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
21 Approximate Algorithms and Heuristics for MAX-SAT – Roberto Battiti , Marco Protasi - 1998
52 A sharp threshold in proof complexity – Dimitris Achlioptas, Paul Beame, Michael Molloy - 2001
11 A Sharp Threshold in Proof Complexity Yields Lower Bounds for Satisfiability Search – Dimitris Achlioptas, Paul Beame, Michael Molloy
15 Procedural Reasoning in Constraint Satisfaction – Ari K. Jónsson, Matthew L. Ginsberg - 1996
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995