Unsatisfied Variables in Local Search (1995)

by Ian P. Gent , Toby Walsh
Venue:Hybrid Problems, Hybrid Solutions. IOS
Citations:44 - 2 self

Active Bibliography

14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
19 Statistical mechanics of combinatorial search – Tad Hogg - 1994
14 How Not To Do It – Ian P. Gent, Stuart A. Grant, Ewen MacIntyre, Patrick Prosser, Paul Shaw, Barbara M. Smith, Toby Walsh - 1997
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
16 Phase Transitions from Real Computational Problems – Ian P. Gent, Toby Walsh - 1995
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 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
A New Class of Hard 3-SAT Instances – unknown authors - 2005
10 A comparison of complete and incomplete algorithms in the easy and hard regions – Andrew Davenport - 1995
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
Why Solutions Can Be Hard to Find -- A Featural Theory . . . – Josh Singer - 2001
6 The GSAT/SA-Familiy -- Relating greedy satisifability testing to simulated annealing – S. Hölldobler, H. Hoos, A. Strohmaier, A. Weiß - 1994
19 Some Pitfalls for Experimenters with Random SAT – David G. Mitchell, Hector J. Levesque - 1996
34 Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances – Roberto J. Bayardo, Robert Schrag - 1996
49 An Empirical Analysis of Search in GSAT – Ian Gent, Toby Walsh - 1993