Book Review: Holger H. Hoos and Thomas Stützle: Stochastic local search: foundations and applications (2005) - ISBN 1-55860-872-9658, Elsevier/Morgan Kaufmann, San Francisco.
Stefan VossPublished in: Math. Methods Oper. Res. (2006)
Keyphrases
- stochastic local search
- san francisco
- satisfiability problem
- solving hard
- combinatorial optimisation
- phase transition
- randomly generated
- max sat
- quadratic assignment problem
- random sat instances
- sat problem
- tree search
- computationally hard problems
- genetic algorithm
- sat instances
- sat solvers
- np complete
- computational complexity
- knowledge base