Composante
INSA Hauts-de-France
Description
- Présentation et définition des CSP (Problèmes de satisfaction de contraintes)
- Algorithmes prospectifs et rétrospectifs d'énumération des solution d'un CSP (Forward Checking, BackTraking Chonologique, BackJumping, )
- Algorithmes de filtrage d'un CSP (Consistance de nœud, Arc consistance et Chemin consistance)
- Quelques heuristiques pour guider la recherche des solutions
- Exemples de langages de programmation par contraintes
- Exemples de problèmes pour lesquels la programmation par contrainte est efficace
- Quelques extensions de l'approche par contraintes (CSP dynamiques, CSP sur le temps, CSP distribué