Stochastic Local Search - Methods, Models, Applications

PhD thesis by Holger H. Hoos
accepted by the Computer Science Department
of the Darmstadt University of Technology / Germany

Below, you find an abstract of my thesis, as well as downloadable files for the whole thesis, for its individual parts, and a summary in German. Most of the chapters are quite self-contained. Each chapter containes a short introduction outlining its contents and a conclusions section summarising its main results, as well as a section on related work. For getting an overview of the contents of this thesis and its main results and contributions, you might want to read the Prologue and Epilogue sections only.

see abstract (HTML page)

get whole thesis (218 pages):

get individual parts:

Table of Contents (gzipped postscript file)
Prologue (gzipped postscript file)
Chapter 1: Logic, Search, and NP-hard Problems (gzipped postscript file)
Chapter 2: Empirical Analysis of Las Vegas Algorithms (gzipped postscript file)
Chapter 3: Generalised Local Search Machines (gzipped postscript file)
Chapter 4: SLS Algorithms for SAT (gzipped postscript file)
Chapter 5: Characterising and Improving SLS Behaviour (gzipped postscript file)
Chapter 6: Search Space Analysis (gzipped postscript file)
Chapter 7: SAT Encodings and Search Space Structure (gzipped postscript file)
Epilogue (gzipped postscript file)
Bibliography (gzipped postscript file)
Table of Symbols / Abbreviations (gzipped postscript file)

get a summary in German (18 pages):

gzipped postscript file - 58k
postscript file - 153k