problèmes de satisfaction de contraintes
Nom, Nom masculin pluriel, Gender:Mas, Number:Plur
source:wiki, dénombrable
Définitions
Les problèmes de satisfaction de contraintes ou CSP ( Constraint Satisfaction Problem ) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable. Ils sont notamment au coeur de la programmation par contraintes, un domaine fournissant des langages de modélisation de problèmes et des outils informatiques les résolvant.
[F]
›
•
•
•
•
•
•
[F]
›
32
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
