Course syllabus

Constraint Programming

EDAN01, 7,5 credits, A (Second Cycle)

Valid for: 2015/16
Decided by: Education Board A
Date of Decision: 2015-04-10

General Information

Elective for: D4-pv, D4-se, F4, F4-pv, Pi4-pv
Language of instruction: The course will be given in English


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.

Learning outcomes

Knowledge and understanding
For a passing grade the student must

Competences and skills
For a passing grade the student must


Examination details

Grading scale: TH
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.


Admission requirements:

The number of participants is limited to: No
The course overlaps following course/s: EDA340

Reading list

Contact and other information

Course coordinator: Professor Krzysztof Kuchcinski,
Course homepage:
Further information: The course will be given in English.