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.
AIDA-0, Darmstadt, Techn. Univ., FB 20, FG Intellektik, [Book]

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. Hrsg.: I. Gent, H. van Maaren, T. Walsh. - Amsterdam (u.a.): IOS Press, 2000. S. 43-86, Amsterdam (u.a.), IOS Press, [Book Section]

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. Hrsg.: I. Gent, H. van Maaren, T. Walsh. - Amsterdam (u.a.): IOS Press, 2000. S.283-292, Amsterdam (u.a.), IOS Press, [Book Section]

Hoos, Holger H. ; Stützle, T. (2000):
Stochastic local search for SAT: an empirical evaluation.
In: Journal of automated reasoning, 24, pp. S. 421-481. [Article]

Hoos, Holger H. ; Stützle, T. (1999):
On the empirical evaluation of Las Vegas algorithms.
In: IJCAI'99: International Joint Conference on Artificial Intelligence <14, 1999, Stockholm>; Workshop on Empirical AI; Proceedings. Hrsg.: A. Moukus. - Berlin (u.a.): Springer, 1999 (Lecture notes in artificial intelligence; 1788), Berlin (u.a.), Springer, [Conference or Workshop Item]

Hoos, Holger H. ; Stützle, T. (1999):
Systematic versus local search.
In: KI-99: Advances in artificial intelligence. Hrsg.: W. Burgard, T. Christaller, A.B. Cremers. - Berlin (u.a.): Springer, 1999. S. 289-293 (Lecture notes in artificial intelligence; 1701), Berlin (u.a.), Springer, [Book Section]

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

Hoos, Holger H. ; Stützle, T. (1998):
Evaluating Las Vegas algorithms - pitfalls and remedies.
In: UAI'98: Conference on Uncertainty in Artificial Intelligence <14, 1998, Madison, Wis.>: Proceedings. - San Francisco, CA: Morgan Kaufmann, 1998. S. 238-245, San Francisco, CA, Morgan Kaufmann, [Conference or Workshop Item]

Hoos, Holger H. ; Stützle, T. (1998):
Some surprising regularities in the behaviour of stochastic local search (Poster summery).
In: CP'98: International Conference on Principles and Practice of Constraint Programming <4, 1998, Pisa>: Proceedings. Hrsg.: M. Maher (u.a.) - Berlin (u.a.): Springer, 1998. S. 470, 1520, Berlin (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Sat Jun 10 01:04:53 2023 CEST.