TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

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

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
Book Section, 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
Book Section, Bibliographie

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

Hoos, Holger H. ; Stützle, T. (1999)
On the empirical evaluation of Las Vegas algorithms.
Conference or Workshop Item, Bibliographie

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

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

Hoos, Holger H. ; Stützle, T. (1998)
Evaluating Las Vegas algorithms - pitfalls and remedies.
Conference or Workshop Item, Bibliographie

Hoos, Holger H. ; Stützle, T. (1998)
Some surprising regularities in the behaviour of stochastic local search (Poster summery).
Conference or Workshop Item, Bibliographie

This list was generated on Tue May 28 02:24:29 2024 CEST.