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

Documents Related by Co-Citation

62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
360 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
89 On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT – Holger H. Hoos - 1999
51 Evaluating Las Vegas algorithms -- pitfalls and remedies – Holger H. Hoos, Thomas Stützle - 1998
183 Evidence for Invariants in Local Search – David McAllester, Bart Selman, Henry Kautz - 1997
60 Stochastic local search - methods, models, applications – H H Hoos - 1998
576 Where the really hard problems are – Peter Cheeseman, Bob Kanefsky, William M. Taylor - 1991
315 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
34 SAT-Encodings, Search Space Structure, and Local Search Performance – Holger H. Hoos - 1999
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
60 Local search algorithms for combinatorial problems — analysis, improvements, and new applications – T Stützle - 1998
30 Summarizing CSP hardness with continuous probability distributions – Daniel Frost, Irina Rish, Lluis Vila - 1997
60 Local search characteristics of incomplete SAT procedures – Dale Schuurmans, Finnegan Southey - 2000
66 When Gravity Fails: Local Search Topology – Jeremy D. Frank, Peter Cheeseman, John Stutz - 1997
39 Refining the phase transition in combinatorial search – T Hogg - 1996
398 Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems – Steven Minton, Andy Philips, Mark D. Johnston, Philip Laird - 1993
98 Generating Hard Satisfiability Problems – Bart Selman, David Mitchell, Hector Levesque - 1996
137 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993