Syllabus academic year 2011/2012
(Created 2011-09-01.)
Credits: 7,5. Grading scale: TH. Cycle: A (Second Cycle). Main field: Technology. Language of instruction: The course will be given in English. EDAN01 overlaps following cours/es: EDA340. Optional for: D4, D4pv, F4, F4pv, Pi4, Pi4pv. Course coordinator: Krzysztof Kuchcinski,, Computer Science. 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 and the project. 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.