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:38 - 14 self

Documents Related by Co-Citation

56 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
318 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
77 On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT – Holger H. Hoos - 1999
49 Evaluating Las Vegas algorithms -- pitfalls and remedies – Holger H. Hoos, Thomas Stützle - 1998
161 Evidence for Invariants in Local Search – David Mcallester, Bart Selman, Henry Kautz - 1997
55 Stochastic Local Search - Methods, Models, Applications – H Hoos - 1998
620 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
501 Where the really hard problems are – Peter Cheeseman, Bob Kanefsky, William M. Taylor - 1991
269 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
463 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
29 SAT-Encodings, Search Space Structure, and Local Search Performance – Holger H. Hoos - 1999
50 Local Search Algorithms for Combinatorial Problems --- Analysis, Improvements, and New Applications – T Stutzle - 1998
28 Summarizing CSP hardness with continuous probability distributions – Daniel Frost, Irina Rish, Lluis Vila - 1997
53 Local search characteristics of incomplete SAT procedures – Dale Schuurmans, Finnegan Southey - 2000
58 When Gravity Fails: Local Search Topology – Jeremy D. Frank, Peter Cheeseman, John Stutz - 1997
30 Refining the phase transition in combinatorial search – T Hogg - 1996
356 Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems – Steven Minton, Andy Philips, Mark D. Johnston, Philip Laird - 1993
87 Generating Hard Satisfiability Problems – Bart Selman, David Mitchell, Hector Levesque - 1996
122 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993