Université d'Artois 2009/2010 Programmation par contraintes TD ...
TD : programmation logique par contraintes ? domaines finis. (Correction). Exercice 1 : (Zebra problem). Cinq personnes de nationalités différentes habitent ...


Master 1 Informatique - Programmation logique par contraintes - IRIF
Le bar`eme est donné `a titre indicatif et peut être modifié. Exercice 1 (4 points). Considérez la contrainte X < Y ? Y < Z ? Z ? X avec domaines D(X) ...


Université Paris 7 - Programmation logique par contraintes - IRIF
Visualiser le probl`eme en dessinant l'espace des solutions possibles (un polygone) déterminé par les contraintes. ? Donner les détails de la résolution de ...