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...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2010
|
Subjects: | |
Online Access: | http://www.theses.fr/2010ORLE2008/document |