Holger H. HoosBooksStochastic Local SearchTheory and Applications of Satisfiability TestingTheory and Applications of Satisfiability Testing (vol. # 3542)Stochastic Local Search - Methods, Models, ApplicationsAuthor data: Open Library