Saarland University
Computer Science
Programming Systems
Constraint Programming

Main page

Constraint Programming

Seminar, 9 credit points
(may also be credited as Proseminar)

Winter term 2004/2005

Prof. Gert Smolka, Marco Kuhlmann, Lutz Straßburger, Guido Tack
Programming Systems Lab, Department of Computer Science, Saarland University


Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. It draws on methods from artificial intelligence, logic programming and operations research, and has been successfully applied in a number of fields such as scheduling, computational linguistics and computational biology.

The seminar will mainly be based on material from the following books and additional research papers:


The seminar will be split into two parts: a reading group, which will be held on four occasions during lecture time (October–February), and a series of talks, which will be held at the end of the term (April).

Participants, Talks, and Schedule

Please look at the list of topics for talks (including references).


To obtain the credit points assigned to this course, you have to meet the following requirements:

For your grade, we will weigh your talk (50%), your paper (30%) and your participation in the discussion (20%).

Reading and Discussion Group

All meetings take place in building 45, room 528.

Important Dates and Deadlines

Style Guidelines for the Paper

Please use the Springer LNCS style for your paper. The final version should be no longer than 15 pages (including abstract and references). You find the style templates and formatting instructions for both Microsoft Word and LaTeX on the Springer web site.

Last Change: Thu 01 Jan 1970 00:00:00 UTC |