Towards a characterisation of the behaviour of stochastic local search algorithms for SAT (1999)

Cached

Download Links

by Holger H. Hoos , Thomas Stützle
Venue:ARTIFICIAL INTELLIGENCE
Citations:44 - 16 self

Active Bibliography

62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
25 Characterizing the Run-time Behavior of Stochastic Local Search – Holger H. Hoos, Thomas Stützle - 1998
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
7 Systematic vs. Local Search for SAT – Holger H. Hoos, Thomas Stützle - 1999
74 SATLIB: An Online Resource for Research on SAT – Holger H. Hoos, Thomas Stützle - 2000
10 Domain-Independent Local Search For Linear Integer Optimization – Joachim Paul Walser - 1998
3 Local Search Methods – Holger H. Hoos, Edward Tsang - 2006
89 On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT – Holger H. Hoos - 1999
Why Solutions Can Be Hard to Find -- A Featural Theory . . . – Josh Singer - 2001
14 How Not To Do It – Ian P. Gent, Stuart A. Grant, Ewen MacIntyre, Patrick Prosser, Paul Shaw, Barbara M. Smith, Toby Walsh - 1997
51 Evaluating Las Vegas algorithms -- pitfalls and remedies – Holger H. Hoos, Thomas Stützle - 1998
88 Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT – Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos - 2002
3 A survey of AI-based meta-heuristics for dealing with local optima in local search – Patrick Mills, Edward Tsang, Qingfu Zhang, John Ford - 2004
7 Constraint weighting local search for constraint satisfaction – John Thornton - 2000
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
15 Global Search Methods For Solving Nonlinear Optimization Problems – Yi Shang - 1997
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
Novel Value Ordering Heuristics Using Non-Linear Optimization In Boolean Satisfiability – Vladimir Pisanov