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

Enregistré dans:
Détails bibliographiques
Auteur principal : Ceberio Martine (Auteur)
Collectivités auteurs : École doctorale sciences et technologies de l'information et des matériaux Nantes, Université de Nantes Faculté des sciences et des techniques (Organisme de soutenance), Université de Nantes 1962-2021 (Organisme de soutenance)
Autres auteurs : Benhamou Frédéric (Directeur de 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
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 :

BU Sciences

Informations d'exemplaires de BU Sciences
Cote Prêt Statut
Magasin aérotherme 03 NANT 2017 Empruntable Disponible
Magasin aérotherme 03 NANT 2017 Exclu du prêt disponible