Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT
L’aide à la décision a pour but d’assister un opérateur humain dans ses choix. La nécessité d’employer de telles techniques s’est imposée avec la volonté de traiter des problèmes dépendant d’une quantité de données toujours plus importante. L’intérêt de l’aide à la décision est encore plus manifeste...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015ARTO0405/document |