Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées
Cette thèse s inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendantla programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ouuniversels, ce qui apporte en théorie une expressivité suffisante pour modéliser des prob...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse numérique |
| Jazyk: | Français |
| Vydáno: |
2010.
|
| Témata: | |
| On-line přístup: | Accès au texte intégral https://theses.univ-orleans.fr/public/2010ORLE2008_va.pdf http://www.theses.fr/2010ORLE2008/abes https://theses.hal.science/tel-00486721 |
| Poznámka: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Sciences et technologies (Orléans ; 2009-2012) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire), Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) Autre(s) contribution(s) : Denys Duchier (Président du jury) ; Arnaud Lallouet, Denys Duchier, Lakhdar Saïs, Christian Bessière, Lucas Bordeaux, François Fages (Membre(s) du jury) ; Lakhdar Saïs, Christian Bessière (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Decision and hierarchical optimisation problem modeling and solving by use of quantified contraints |