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