Constraint programming

A la fin de cette unité d’enseignement, l’étudiant est capable de :

Eu égard au référentiel AA du programme « Master ingénieur civil en informatique », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :

• INFO1.1-3
• INFO2.2-4
• INFO5.4-5
• INFO6.1, INFO6.4

Eu égard au référentiel AA du programme « Master [120] en sciences informatiques », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :

• SINF1.M4
• SINF2.2-4
• SINF5.4-5
• SINF6.1, SINF6.4

Les étudiants ayant suivi avec fruit ce cours seront capables de

• appréhender un ensemble de techniques informatiques permettant de résoudre un problème de satisfaction de contraintes;
• résoudre une application simple mettant en oeuvre les techniques étudiés;
• expliquer les fondements des modèles et des langages de programmation par contraintes;
• identifier des classes d'applications où la programmation par contraintes peut être utilisée à bon escient;
• modéliser un problème simple sous forme de contraintes et exprimer ce modèle dans un langage de programmation par contraintes y compris l'expression de stratégies de recherche.

Les étudiants auront développé des compétences méthodologiques et opérationnelles.  En particulier, ils auront développé leur capacité à :

• maîtriser rapidement un nouveau langage de programmation;
• utiliser des documents techniques pour approfondir leur connaissance d'un sujet.