Nantilus
Résolution de problèmes combinatoires modélisés par des contraintes quantifiées
Cette thèse s'inscrit dans le contexte de la programmation par contraintes sur les domaines finis, un paradigme de programmation qui consiste à exprimer des problèmes combinatoires par le biais de langages formels. L'emploi d'algorithmes de résolution de formules logiques permet ainsi...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , |
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Résolution de problèmes combinatoires modélisés par des contraintes quantifiées / Lucas Bordeaux; sous la dir. de Frédéric Benhamou |
| Publié : |
[S.l.] :
[s.n.]
, 2003 |
| Description matérielle : | 178 p. |
| Note de thèse : | Thèse doctorat : Informatique : Nantes : 2003 |
| Disponibilité : | Publication autorisée par le jury |
| Sujets : |
| LEADER | 03004cam a2200373 4500 | ||
|---|---|---|---|
| 001 | PPN074303880 | ||
| 003 | http://www.sudoc.fr/074303880 | ||
| 005 | 20240531154500.0 | ||
| 029 | |a FR |b 2003NANT2032 | ||
| 035 | |a (OCoLC)492204390 | ||
| 100 | |a 20031006d2003 k y|frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng | |
| 102 | |a FR | ||
| 105 | |a y m ||||| | ||
| 106 | |a r | ||
| 200 | 1 | |a Résolution de problèmes combinatoires modélisés par des contraintes quantifiées |b Texte imprimé |f Lucas Bordeaux |g sous la dir. de Frédéric Benhamou | |
| 210 | |a [S.l.] |c [s.n.] |d 2003 | ||
| 215 | |a 178 p. |d 30 cm | ||
| 310 | |a Publication autorisée par le jury | ||
| 320 | |a Bibliogr. p. 155-169 | ||
| 328 | 0 | |b Thèse doctorat |c Informatique |e Nantes |d 2003 | |
| 330 | |a Cette thèse s'inscrit dans le contexte de la programmation par contraintes sur les domaines finis, un paradigme de programmation qui consiste à exprimer des problèmes combinatoires par le biais de langages formels. L'emploi d'algorithmes de résolution de formules logiques permet ainsi de résoudre une grande variété de problèmes. Les résolveurs de contraintes actuels sont basés sur une logique propositionnelle de laquelle la notion de quantification ("pour tout", "il existe") est absente. Le sujet principal de la thèse est le problème de résolution de contraintes discrètes quantifiées. L'étude de la restriction booléenne de ce problème a récemment fait l'objet d'une intense recherche dans la communauté SAT. A priori, cette restriction n'est cependant pas justifiée et de nombreuses applications s'expriment grâce à une extension du cadre des problèmes de satisfaction de contraintes (CSP) quantifiés ; notre principale contribution est de formuler une technique d'arc-consistance quantifiée, généralisant la technique classique de résolution de CSP. On montre ainsi que l'essentiel du cadre classique de résolution de CSP (notion d'opérateurs de réduction, propriétés de confluence, propagation d'intervalles) peut être adapté à la résolution de problèmes quantifiés. Enfin, nous terminons la thèse en ouvrant une problématique plus prospective : l'utilisation de techniques de compilation logique pour déterminer si les problèmes décrits dans certaines logiques quantifiées peuvent être résolus de manière efficace. | ||
| 606 | |3 PPN033128804 |a Programmation par contraintes |2 rameau | ||
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN074300237 |a Bordeaux |b Lucas |f 1976-.... |4 070 | |
| 702 | 1 | |3 PPN033059241 |a Benhamou |b Frédéric |f 1960-.... |4 727 | |
| 712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 712 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 985 |
| 712 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
| 801 | 3 | |a FR |b Abes |c 20171204 |g AFNOR | |
| 979 | |a SCI | ||
| 915 | |5 441092104:185591329 |b 1161528725 | ||
| 930 | |5 441092104:185591329 |b 441092104 |j u | ||
| 998 | |a 33284 | ||