Syllabus academic year 2008/2009
(Created 2008-07-17.)

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,, Inst f datavetenskap. Prerequisites: EDA027 Algorithms and Data Structures or EDAA01 Programming - Second Course. 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:

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


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