Problèmes de satisfaction de contraintes (CSP)
1. Exemples de CSP
La satisfaction de contraintes (Constraint Satisfaction Problem CSP)est une discipline purement algorithmique issue de la programmation logique et de l’intelligence artificielle et apparue à la fin des années 1970.
Beaucoup de problèmes algorithmiques de décision peuvent être reformulés en tant que problèmes de satisfaction de contraintes.
Exemples:
