Course Syllabus for

Constraint Programming

EDAN01F, 7.5 credits

Valid from: Autumn 2017
Decided by: Professor Thomas Johansson
Date of establishment: 2017-03-22

General Information

Division: Computer Science (LTH)
Course type: Course given jointly for second and third cycle
The course is also given at second-cycle level with course code: EDAN01
Teaching language: 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.


Knowledge and Understanding

For a passing grade the doctoral student must

Competences and Skills

For a passing grade the doctoral student must

Judgement and Approach

For a passing grade the doctoral student must demonstrate the ability to critically evaluate and compare different methods to solve combinatorial problems with help of constraint programming

Course Contents

Introduction to constraint programming. Basic algorithms used in constraint programming systems (constraint satisfaction and consistency, optimisation). Finite domain constraints. Modelling with finite domain constraints. Searching methods and optimisation. Selected advanced issues.

Course Literature

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

Instruction Details

Types of instruction: Lectures, laboratory exercises

Examination Details

Examination formats: Written exam, written assignments. 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.
Grading scale: Failed, pass

Admission Details

Admission requirements: EDAA01 Programming - Second Course or EDAA30 Programming in Java - Second Course

Course Occasion Information

Contact and Other Information

Course coordinators:
Web page:

Complete view