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 :
LEADER 02479nam a2200373 4500
001 PPN073412074
005 20240531154500.0
009 DYNIX_BUNAN_533159
100 |a 20030710d2003 k u0frey0103 ba 
101 0 |a fre  |d fre  |d eng 
102 |a FR 
105 |a y m ||||| 
106 |a r 
200 1 |a Contribution à l'étude des CSP numériques sous et sur-contraints  |b Texte imprimé  |e outils symboliques et contraintes flexibles  |f Martine Ceberio 
210 |a [S.l.]  |c [s.n.]  |d 2003 
215 |a 257 p.  |d 30 cm 
301 |a Thèse : 2003NANT2017 
310 |a Publication autorisée par le jury 
320 |a Bibliogr. p. 241-255 
328 |a Thèse doctorat : Informatique : Nantes : 2003 
330 |a 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 vaste parmi lequel il est difficile de choisir une solution à exploiter ; absence de solution. Ces deux derniers cas sont au centre de notre travail. Pour le premier, l'idée est de déterminer une "meilleure" solution. Ceci revient à déterminer un critère sur ces solutions et à trouver la solution la meilleure pour ce critère. On est alors dans une situation d'optimisation sous contraintes. Dans le second cas, on souhaite définir des solutions acceptables, qui sont donc plus faibles que celles que l'on attendait initialement. On parle de contraintes flexibles... 
606 1 |3 PPN033128804  |a Programmation par contraintes  |3 034947124  |x Thèses  |2 rameau 
700 1 |3 PPN073411574  |a Ceberio  |b Martine  |4 070 
702 1 |3 PPN033059241  |a Benhamou  |b Frédéric  |f 1960-....  |4 727 
712 0 2 |3 068720513  |a École doctorale sciences et technologies de l'information et des matériaux  |c Nantes 
712 0 2 |3 033124884  |a Université de Nantes  |b Faculté des sciences et des techniques  |4 295 
712 0 2 |3 026403447  |a Université de Nantes  |c 1962-2021  |4 295 
801 3 |a FR  |b Abes  |c 20030710  |g AFNOR 
930 |5 441092104:183229320  |b 441092104  |a 03 NANT 2017  |j g 
930 |5 441092104:183229231  |b 441092104  |a 03 NANT 2017  |j u 
979 |a SCI 
993 |a 1161523003  |b SCI  |c 03 NANT 2017  |d EM  |e THE12  |f I  |g 28-07-2003  |h 28-07-2003  |p 0  |s 152300  |t EM  |u SCTH12  |v i 
993 |a 1161523010  |b SCI  |c 03 NANT 2017  |d EX  |e THEMAG  |f EP  |g 28-07-2003  |h 28-07-2003  |p 0  |s 152301  |t EX  |u SCTHMAG  |v EP 
998 |a 27932