Course syllabus
Constraint-programmering
Constraint Programming
EDAN01, 7,5 credits, A (Second Cycle)
Valid for: 2012/13
Decided by: Education Board 1
Date of Decision: 2012-03-19
General Information
Elective for: D4, D4-pv, F4, F4-pv, Pi4, Pi4-pv
Language of instruction: The course will be given in English
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.
Learning outcomes
Knowledge and understanding
For a passing grade the student must
- be able to use basic concepts of constraint programming
- be able to explain principles of constraint programming and
define constraints for simple problems.
Competences and skills
For a passing grade the student must
- be able to model and implement constraint programs for a
combinatorial problem
- be able to use appropriate heuristics to implement efficient
search methods.
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.
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
Admission requirements:
- EDA027 Algorithms and Data Structures or EDAA01 Programming - Second Course
The number of participants is limited to: No
The course overlaps following course/s: EDA340
Reading list
- Kuchcinski, K: Modeling and Optimisation of Embedded Systems with Constraint Programming: Principles and Practice. Distributed by the department.
Contact and other information
Course coordinator: Professor Krzysztof Kuchcinski, Krzysztof.Kuchcinski@cs.lth.se
Course homepage: http://cs.lth.se/edan01
Further information: The course might be given in English.