On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT (1999)

by Holger H. Hoos
Citations:89 - 21 self

Active Bibliography

62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
25 Characterizing the Run-time Behavior of Stochastic Local Search – Holger H. Hoos, Thomas Stützle - 1998
44 Towards a characterisation of the behaviour of stochastic local search algorithms for SAT – Holger H. Hoos, Thomas Stützle - 1999
10 Domain-Independent Local Search For Linear Integer Optimization – Joachim Paul Walser - 1998
7 Systematic vs. Local Search for SAT – Holger H. Hoos, Thomas Stützle - 1999
5 Incomplete Algorithms – 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
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
39 Backbone Fragility and the Local Search Cost Peak – Josh Singer, Ian P. Gent, Alan Smaill - 2000
Why Solutions Can Be Hard to Find -- A Featural Theory . . . – Josh Singer - 2001
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
12 Accelerating random walks – Wei Wei, Bart Selman - 2002
34 SAT-Encodings, Search Space Structure, and Local Search Performance – Holger H. Hoos - 1999
2 Backbone Fragility Causes the Local Search Cost Peak – Josh Singer, Ian P. Gent, Alan Smaill - 1999
51 Evaluating Las Vegas algorithms -- pitfalls and remedies – Holger H. Hoos, Thomas Stützle - 1998
1 A Characterization of GSAT's Performance on a Class of Hard Structured Problems – Holger Hoos, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt, Holger H. Hoos, Thomas Stützle, Thomas Stutzle - 1996
14 Tabu Search vs. Random Walk – Olaf Steinmann, Antje Strohmaier, Thomas Stützle - 1997
45 Unsatisfied variables in local search – Ian P. Gent, Toby Walsh - 1995