Syllabus academic year 2007/2008
CONSTRAINT PROGRAMMINGEDA340

Higher education credits: 6. Grading scale: TH. Level: A (Second level). Language of instruction: The course might be given in English. Optional for: D4, D4ps, E4, Pi4. Course coordinator: Krzysztof Kuchcinski, Krzysztof.Kuchcinski@cs.lth.se, Inst f datavetenskap. Prerequisites: EDA027 Algorithms and Data Structures. Assessment: To qualify for a passing mark, the students must have completed the laboratory work. To qualify for a higher mark a written examination is required. Further information: The course might be given in English. Home page: http://www.cs.lth.se/EDA340.

Aim
The goal of this course is to have each student acquire the knowledge on a new programming paradigm based on constraints over finite domains and provide experience of how to use these methods for solving combinatorial problems.

Knowledge and understanding
For a passing grade the student must

Skills and abilities
For a passing grade the student must

Contents

Literature
Kuchcinski, K: Modeling and Optimisation of Embedded Systems with Constraint Programming: Principles and Practice. Distributed by the department.