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

by Holger H. Hoos
Citations:77 - 20 self

Active Bibliography

56 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
22 Characterizing the Run-time Behavior of Stochastic Local Search – Holger H. Hoos, Thomas Stützle - 1998
38 Towards a characterisation of the behaviour of stochastic local search algorithms for SAT – Holger H. Hoos, Thomas Stützle - 1999
9 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
1 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
11 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
33 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
107 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
9 Accelerating random walks – Wei Wei, Bart Selman - 2002
29 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
49 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
13 Tabu Search vs. Random Walk – Olaf Steinmann, Antje Strohmaier, Thomas Stützle - 1997
9 Local Search on Random 2+p-SAT – Josh Singer, Ian P. Gent, Alan Smaill - 2000
43 Unsatisfied Variables in Local Search – Ian P. Gent, Toby Walsh - 1995