Contribution à l'étude des CSP numériques sous et sur-contraints : outils symboliques et contraintes flexibles

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...

Description complète

Détails bibliographiques
Auteurs principaux : Ceberio Martine (Auteur), Benhamou Frédéric (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
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; sous la direction de Frédéric Benhamou
Publié : [S.l.] : [s.n.] , 2003
Description matérielle : 257 p.
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2003
Sujets :
Programmation par contraintes
Thèses et écrits académiques
Documents associés : Reproduit comme: Contribution à l'étude des CSP numériques sous et sur-contraints
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication
BU Sciences, Ex. 2 :
Titre temporairement indisponible à la communication
Table des matières indisponible