Master 2ème année SII :
Liens vers les notes de cours du module Programmation par Contraintes
| Chapitre 0 |
Contenu du module |
| Chapitre I |
Contraintes et problèmes de
satisfaction de contraintes |
| Chapitre II |
CSP binaires discrets |
| Chapitre III |
Résolution d’un CSP binaire discret |
| Chapitre IV |
CSP binaires continus |
| Chapitre V |
Programmation logique |
| Annexe 1 |
Exemple 1 du chapitre III : déroulement complet de AC1 et de AC3 |
| Annexe 2-1 |
Résolution d’un CSP binaire discret : consistance de chemin |
| Annexe 2-2 |
Résolution d’un CSP binaire discret : déroulement de PC1 et de PC2 |
| Annexe 3 |
CSP binaires continus (algèbre des points) |
| Annexe 4 |
CSP binaires continus (algèbre des intervalles) |
| Annexe 5 |
Logique du premier ordre |