5 credits
30.0 h + 15.0 h
Q2
Teacher(s)
Schaus Pierre; Schaus Pierre (compensates Deville Yves);
Language
English
Prerequisites
 LINGI2261 : Introduction to artificial intelligence
 Good knowledge of Java and datastructures and algorithms using Java
Main themes
 Constraint Programming : a Declarative Programming paradigm
 Architecture of a constraint programming solver
 Global contraints and implementation techniques (incrementality, etc)
 Search techniques and strategies
 Combinatorial optimization problem modeling and solving
 Applications to different problem classes (e.g. planification, scheduling, resource allocation, economics, robotics)
Aims
At the end of this learning unit, the student is able to :  
1  Given the learning outcomes of the "Master in Computer Science and Engineering" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:
Given the learning outcomes of the "Master [120] in Computer Science" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:
Students completing successfully this course will be able to
Students will have developed skills and operational methodology. In particular, they have developed their ability to:

The contribution of this Teaching Unit to the development and command of the skills and learning outcomes of the programme(s) can be accessed at the end of this sheet, in the section entitled “Programmes/courses offering this Teaching Unit”.
Content
 Constraint Programming : a Declarative Programming paradigm
 Architecture of a constraint programming solver
 Global contraints and implementation techniques (incrementality, etc)
 Search techniques and strategies
 Combinatorial optimization problem modeling and solving
 Applications to different problem classes (e.g. planification, scheduling, resource allocation, economics, robotics)
Teaching methods
Lectures and practice sessions
Evaluation methods
 Projects (50% of final grade)
 Written exam (50% of final grade)
Online resources
Bibliography
Le site www.minicp.org + lectures suggérées pendant le semestre
Faculty or entity
INFO