Seminar, 9 credit points
(may also be credited as Proseminar)
Winter term 2004/2005
Prof. Gert Smolka,
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).
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%).
All meetings take place in building 45, room 528.
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 |