Documents Related by Co-Citation

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
240 T.: Stochastic Local Search: Foundations and Applications – H Hoos, Stützle - 2005
45 The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming – Dale Schuurmans, Finnegan Southey, Robert C. Holte - 2001
183 Evidence for Invariants in Local Search – David McAllester, Bart Selman, Henry Kautz - 1997
68 An Adaptive Noise Mechanism for WalkSAT – Holger Hoos - 2002
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
60 Local search characteristics of incomplete SAT procedures – Dale Schuurmans, Finnegan Southey - 2000
50 Morphing: Combining Structure and Randomness – Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh - 1999
117 A Racing Algorithm for Configuring Metaheuristics – Mauro Birattari, Universit Libre De Bruxelles, Thomas Stützle, Klaus Varrentrapp, Luis Paquete, Technische Universitt Darmstadt - 2002
197 The Breakout Method for Escaping From Local Minima – P Morris - 1993
69 M.: Fine-tuning of algorithms using fractional experimental designs and local search – B Adenso-Díaz, Laguna - 2006
53 UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT – Dave A. D. Tompkins, Holger H. Hoos - 2004
59 Learning the Empirical Hardness of Optimization Problems: The case of combinatorial auctions – Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham - 2002
37 An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems – Zhe Wu, Benjamin W. Wah - 2000
137 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
26 Learning to select branching rules in the DPLL procedure for satisfiability – Michail G. Lagoudakis, Michael L. Littman - 2001
91 SATzilla: Portfolio-based Algorithm Selection for SAT – Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-brown