Explications de retraits de valeurs en programmation par contraintes et application au diagnostic déclaratif
La programmation par contraintes sur domaines finis a montré son efficacité pour traiter les problèmes difficiles, tant au point de vue de leur modélisation que de leur résolution. Les solveurs utilisés pour obtenir leurs solutions mêlent des techniques de réduction de domaine à des techniques d...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Thèse et Mémoire papier |
| Sprache: | Français |
| Veröffentlicht: |
[S.l.] :
[s.n.]
2003.
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Value removal explanations in constraint programming and application to declarative diagnosis |
Orléans - BU Sciences Technologies STAPS
| Standort | Signatur | Type de prêt | Status | |
|---|---|---|---|---|
| Magasin | TS 19-2003-59 b |
A consulter sur place
|
||
| Magasin | TS 19-2003-59 | Verfügbar |