Holger H Hoos

Holger H Hoos is the author of "Theory and Applications of Satisfiability Testing", "Stochastic Local Search", "Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics" and "Engineering Stochastic Local Search...