Advanced Course, 6 credit points
Spezialvorlesung, 6 Leistungspunkte
Prof. Gert Smolka,
Marco Kuhlmann (M.Sc.),
Dipl. Inf. Guido Tack
Department of Computer Science, Saarland University
Lectures are on Thursdays, 14:15–16:00,
in Building 45, HS 003.
Lectures start on April 14 and end on July 14.
No lectures on May 5 (Ascension) and May 26 (Corpus Christi)
This course was awarded the Teaching Award for the summer semester 2005.
Many computational problems can be described in terms of restrictions imposed on possible solutions. Constraint Programming is a problem-solving technique that works by incorporating such restrictions into a programming environment. Constraint Programming draws on methods from artificial intelligence, logic programming, and operations research. It has been successfully applied in a number of fields such as scheduling, computational linguistics, and computational biology.
The aim of this course is to
To achieve these goals, the course will cover the following topics:
Besides the theoretical part, the course will put an emphasis on practical experience with state-of-the-art constraint programming systems.
You should have
You will benefit from
2005-06-03: The exam will take place on Thursday, July 14, 14:15-16:00.
2005-05-15: The slides for the first lecture are now online (see the Services page).
2005-05-15: You can now register for the course.
2005-04-14: The first assignment is online (see the Services page).
2005-02-21: set up the web pagesLast Change: Wed Aug 13 11:20:25 2014 |