lea

				Intellectics Group
				Computer Science Department

About Us People Courses Research Publications Diploma Theses Links   Intellectics Group Computer Science Dept. TU Darmstadt		Welcome to the Intellectics Group ! News IAS exchange programme with UBC, Vancouver, Kanada and Boulder, Colorado, USA. General Information on exchange programmes at the Computer Science Department. Courses during Summer Term 2004 Current Research 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 the Internet. Metaheuristics Network - metaheuristics for combinatorial optimization problems. TefoA - Testbed for Algorithms GAILS - Guided Adaptive Iterated Local Search Framework to incorporate machine learning techniques to improve local search methods and metaheuristics. Address Darmstadt University of Technology Computer Science Department Intellectics Group Hochschulstr. 10 64283 Darmstadt Germany Phone: +49-6151-16-5226 Fax: +49-6151-16-5326

Deutsch

Hesham Khalil · Intellektik·TU Darmstadt · 25.02.2002