Active Bibliography

3 Local Search Methods – Holger H. Hoos, Edward Tsang - 2006
10 Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT – Dave A. D. Tompkins, Holger H. Hoos - 2003
16 Warped landscapes and random acts of SAT solving – Dave A. D. Tompkins, Holger H. Hoos - 2004
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
2 Constraint Satisfaction By Local Search – Markus Bohlin - 2002
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
11 Random Walk with Continuously Smoothed Variable Weights – Steven Prestwich - 2005
8 D.N.: Adaptive clause weight redistribution – Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham - 2006
6 Neighbourhood clause weight redistribution in local search for sat – Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham - 2005
63 UnitWalk: A new SAT solver that uses local search guided by unit clause elimination – Edward A. Hirsch, Arist Kojevnikov - 2002
62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
Local Search Techniques for SAT -- An Overview – Markus Bohlin - 2001
Why Solutions Can Be Hard to Find -- A Featural Theory . . . – Josh Singer - 2001
7 Systematic vs. Local Search for SAT – Holger H. Hoos, Thomas Stützle - 1999
4 The Theory And Applications Of Discrete Constrained Optimization Using Lagrange Multipliers – Zhe Wu - 2000
15 Evolving local search heuristics for SAT using genetic programming – Alex S. Fukunaga - 2004
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks – Ole J. Mengshoel, Dan Roth, David C. Wilkins
7 Understanding the role of noise in stochastic local search: Analysis and experiments – Ole J. Mengshoel - 2008