
Course unit
CONSTRAINT REASONING
SC03111906, A.A. 2015/16
Information concerning the students who enrolled in A.Y. 2015/16
ECTS: details
Type 
ScientificDisciplinary Sector 
Credits allocated 
Core courses 
INF/01 
Computer Science 
6.0 
Course unit organization
Period 
First semester 
Year 
1st Year 
Teaching method 
frontal 
Type of hours 
Credits 
Teaching hours 
Hours of Individual study 
Shifts 
Practice 
1.0 
6 
19.0 
No turn 
Lecture 
5.0 
38 
87.0 
No turn 
Examination board
Examination board not defined
Prerequisites:

None. 
Target skills and knowledge:

Main subject of this course is constraint programming, both from a theoretical and from a practical point of view. Constraint programming
is an rea which lies between
Artificial Intelligence, Operational Research, Programming Languages, and Databases, and provides tools to model and solve reallife
problems when they can be cast as a set of constraints over a set of variables. 
Examination methods:

Written exam plus a practical project. 
Assessment criteria:

The written examination includes questions that allow to evaluate the level of comprehension of the notions taught during the course. The project allows students to deepen some notions and to see their pratical use in some (simulated) problems. 
Course unit contents:

* Introduction to the course, examples of constraint problems.
* Basic notions about constraint programming.
* Some complete solvers.
* Notions of local consistency.
* Some incomplete solvers.
* Algorithms for constraint propagation.
* Search methods in the solution space.
* Advanced subjects on constraint programming: soft constraints, bipolar constraints, constraints with uncertainty 
Planned learning activities and teaching methods:

Lectures and exercises in the classroom. 
Additional notes about suggested reading:

The slides used during the course will be made available to the students. 
Textbooks (and optional supplementary readings) 

Apt, Krzysztof R., Principles of constraint programming. Cambridge [etc.]: Cambridge University Press, 2003.

Dechter, Rina; Cohen, David, Constraint processing. San Francisco [etc.]: Morgan Kaufmann, 2003.

Rossi, Francesca; Beek, Peter : van der; Walsh, Peter, Handbook of constraint programming. Amsterdam: Elsevier, 2006.


