2018-2019 / INFO0050-1

Constraint programming projects

Duration

15h Th, 10h Pr, 80h Proj.

Number of credits

 Master of science in computer science and engineering (120 ECTS)5 crédits 
 Master in computer science (120 ECTS)5 crédits 

Lecturer

Pascal Gribomont

Language(s) of instruction

English language

Organisation and examination

All year long, with partial in January

Schedule

Schedule online

Units courses prerequisite and corequisite

Prerequisite or corequisite units are presented within each program

Learning unit contents

Introduction to constraint programming.

Prolog extensions for programming with constraints.

Applications.

Learning outcomes of the learning unit

Students learn how to view a problem as a set of constraints, and how to solve it with an available constraint-solving system (SWI-Prolog, CLP(R), ECLiPSe, Comet).

Prerequisite knowledge and skills

INFO0049-1 (prerequisite)

Planned learning activities and teaching methods

Mode of delivery (face-to-face ; distance-learning)

face-to-face

Recommended or required readings

Recommended readings:
Constraint Logic Programming using Eclipse, Krzysztof R. Apt and Mark Wallace, ISBN-10: 0521866286
Principles of Constraint Programming, Krzysztof Apt, ISBN-10: 0521825830
Programming with Constraints: An Introduction, Kimbal Marriott and Peter Stuckey, ISBN-10: 0262133415

Assessment methods and criteria

Homeworks. Final examination.

Work placement(s)

Organizational remarks

http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html

Contacts

Pascal Gribomont gribomont@montefiore.ulg.ac.be