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...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Rannpháirtithe: | |
| Formáid: | Thèse et Mémoire papier |
| Teanga: | Français |
| Foilsithe / Cruthaithe: |
[S.l.] :
[s.n.]
2004.
|
| Ábhair: | |
| Nóta: |
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 |
Orléans - BU Sciences Technologies STAPS
| Suíomh | Gairmuimhir | Type de prêt | Stádas | |
|---|---|---|---|---|
| Magasin | TS 19-2004-73 b |
A consulter sur place
|
||
| Magasin | TS 19-2004-73 | Ar fáil |