GSAT and Dynamic Backtracking (1994)

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

Active Bibliography

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
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
55 Nonsystematic Backtracking Search – William D. Harvey, Matthew L. Ginsberg - 1995
15 Procedural Reasoning in Constraint Satisfaction – Ari K. Jónsson, Matthew L. Ginsberg - 1996
16 Ten challenges redux: Recent progress in propositional reasoning and search – Henry Kautz, Bart Selman - 2003
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
19 Statistical mechanics of combinatorial search – Tad Hogg - 1994
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
15 Global Search Methods For Solving Nonlinear Optimization Problems – Yi Shang - 1997
1 Compute-intensive methods in artificial intelligence – Bart Selman - 1997
5 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
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
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
15 Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems – Benjamin W. Wah, Yao-jen Chang - 1996
60 A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems – Benjamin W. Wah, Yi Shang - 1998
51 Resolution versus Search: Two Strategies for SAT – Irina Rish, Rina Dechter - 2000
4 The Theory And Applications Of Discrete Constrained Optimization Using Lagrange Multipliers – Zhe Wu - 2000