2019-2020 / INFO0050-1

Constraint programming projects

Duration

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

Number of credits

 Master of Science (MSc) in Computer Science and Engineering5 crédits 
 Master of Science (MSc) in Computer Science and Engineering (double diplômation avec HEC)5 crédits 
 Master of Science (MSc) in Computer Science5 crédits 
 Master of Science (MSc) in Computer Science (double diplômation avec HEC)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

Adaptation of teaching commitments following the COVID-19 pandemic for the May-June 2020 session

Teaching methods implemented : distance-learning

Assessment subjects

Assessment methods

...

Contacts

Adaptation of teaching commitments following the COVID-19 pandemic for the Aug-Sept 2020 session

Assessment subjects

Assessment methods

Contacts