Evidence for Invariants in Local Search (1997)

by David McAllester , Bart Selman , Henry Kautz
Venue:IN PROCEEDINGS OF AAAI-97
Citations:184 - 11 self

Active Bibliography

1 Compute-intensive methods in artificial intelligence – Bart Selman - 1997
10 Domain-Independent Local Search For Linear Integer Optimization – Joachim Paul Walser - 1998
62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 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
12 Meta-heuristics: The state of the art – Stefan Voß
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
Tabu Search for SAT Bertrand Mamre Lakhdar Sails lhic Gr6goire – unknown authors
169 Metaheuristics in combinatorial optimization: Overview and conceptual comparison – Christian Blum, Andrea Roli - 2003
Solving Linear Pseudo-Boolean Co – Joachim R Walses
27 Adaptive Memory Programming: A Unified View of Metaheuristics – Eric D. Taillard , Luca M. Gambardella , Michel Gendreau , Jean-Yves Potvin - 1998
19 Exploiting Variable Dependency in Local Search – Henry Kautz, David Mcallester, Bart Selman - 1997
94 Bridging the gap between planning and scheduling – David E. Smith, Jeremy Frank, Ari K. Jónsson
Parallelism in Combinatorial Optimisation – UEA Calma Group - 1995
3 Local Search for NP-Hard Problems – Jeremy David Frank, Jeremy David Frank - 1997
121 Iterated local search – Helena R. Lourenço, Olivier C. Martin, Thomas Stützle - 2002
4 Iterated Local Search: Framework and Applications – Helena R. Lourenço, Olivier C. Martin, Thomas Stützle
International Journal of Advances in Electrical and Electronics Engineering 203 Available online at www.ijaeee.com ISSN: 2319-1112 Simulated Annealing and Its Application’s – Pushpendra Singh Panwar
P2P Information in VANETs – Information In Vanets, Jamal Toutouh, El Alamin, Pascal Bouvry, Jamal Toutouh, El Alamin