Contribution à l'étude des CSP numériques sous et sur-contraints : outils symboliques et contraintes flexibles
Nous nous intéressons à la programmation par contraintes définies sur des domaines continus. Les processus de résolution de contraintes peuvent mener à plusieurs situations : obtention d'une seule solution, la solution attendue (mais ce cas reste exceptionnel) ; obtention d'un ensemble vas...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres auteurs : | |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Contribution à l'étude des CSP numériques sous et sur-contraints : outils symboliques et contraintes flexibles / Martine Ceberio |
Publié : |
[S.l.] :
[s.n.]
, 2003 |
Description matérielle : | 257 p. |
Note de thèse : | Thèse doctorat : Informatique : Nantes : 2003 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
Table des matières indisponible