Une formalisation de la résolution des problèmes de satisfaction de contraintes : application à la vision grammaticale de CLP
Résoudre un Problème de Satisfaction de Contraintes (CSP) consiste à trouver une affectation pour chaque variable du problème parmi un ensemble de valeurs appartenant à un domaine qui satisfasse toutes les contraintes. Pour cela, les solveurs utilisent des méthodes de propagation de contraintes issu...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Thèse et Mémoire papier |
| اللغة: | Français |
| منشور في: |
[S.l.] :
[s.n.]
2004.
|
| الموضوعات: | |
| ملاحظة: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A formalisation of constraints satisfaction problems resolution :, application to the grammatical view of CLP |