Artikel

Hoos, Holger H. ; Stützle, T. (2000)
Stochastic local search for SAT: an empirical evaluation.
In: Journal of automated reasoning, 24
Artikel, Bibliographie

Hoos, Holger H. ; Stützle, T. (1999)
Towards a characterisation of the behaviour of stochastic local search for SAT.
In: Artificial intelligence, 12
Artikel, Bibliographie

Buchkapitel

Hoos, Holger H. ; Stützle, T. (2000)
Local search algorithms for SAT: an empirical evaluation.
In: Highlights of satisfiability research in the year 2000: SAT 2000
Buchkapitel, Bibliographie

Hoos, Holger H. ; Stützle, T. (2000)
SATLIB: an online resource for research on SAT.
In: Highlights of satisfiability research in the year 2000: SAT 2000
Buchkapitel, Bibliographie

Hoos, Holger H. ; Stützle, T. (1999)
Systematic versus local search.
In: KI-99: Advances in artificial intelligence
Buchkapitel, Bibliographie

Buch

Birrattari, Mauro ; Paquete, L. ; Stützle, T. ; Varrentrapp, K. (2001)
Classification of metaheuristics and design of experiments for the analysis of components.
Buch, Bibliographie

Konferenzveröffentlichung

Hoos, Holger H. ; Stützle, T. (1999)
On the empirical evaluation of Las Vegas algorithms.
Konferenzveröffentlichung, Bibliographie

Hoos, Holger H. ; Stützle, T. (1998)
Evaluating Las Vegas algorithms - pitfalls and remedies.
Konferenzveröffentlichung, Bibliographie

Hoos, Holger H. ; Stützle, T. (1998)
Some surprising regularities in the behaviour of stochastic local search (Poster summery).
Konferenzveröffentlichung, Bibliographie