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 Mondays, 14:15–16:00,
in Building E1.3 (former building 45), HS 001.
Lectures start on April 16 and end on July 16. No lecture on May 28 (Pentecost).
Tutorials are on Thursdays, 16:15–17:00.
2007-04-16: the slides for the first lecture and the first assignment are now online (see the Services page).
2007-04-15: the first tutorial will be given on Thursday, April 19, at 16:00 in room E1.3.528 (seminar room, 5th floor)
2007-02-27: set up the web pages
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
Wednesdays, 13:30-14:30, room E1.3.517
The final exam will take place on July 16. There will be no re-exam. The final grades will depend both on the assignments and your result in the final exam. The exact details will be announced in the first lecture on April 16.Last Change: Tue Aug 2 14:59:43 2016 |