Welcome to the Intellectics Group !
Courses during Summer Term 2004
Stochastic Local Search: Foundations and Applications - the first comprehensive book on SLS methods (also called metaheuristics).
leanCoP - the fastest lean prover on earth.
LExIKON - learning approaches to the extraction of knowledge from
Metaheuristics Network - metaheuristics for combinatorial
TefoA - Testbed for Algorithms
GAILS - Guided Adaptive Iterated Local Search
Framework to incorporate machine learning techniques to improve local search methods and metaheuristics.
Darmstadt University of Technology
Computer Science Department