Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation
Les contraintes sont un moyen générique de représenter les règles qui gouvernent notre monde. Étant donné un ensemble de contraintes, une question centrale est de savoir s'il existe une possibilité de toutes les satisfaire simultanément. Cette problématique est au cœur de la programmation par c...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Nantes
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00560963 http://tel.archives-ouvertes.fr/docs/00/56/09/63/PDF/BERGER_Nicolas_PhD.pdf |