UE8 Approches exactes de résolution

L’objectif de ce cours est d’appréhender les concepts et méthodes fondamentaux permettant de modéliser et résoudre de manière exacte des problèmes d’optimisation combinatoire et de satisfaction de contraintes.  

Dans le cadre des problèmes de satisfaction de contraintes seront présentées les méthodes de recherche arborescente, heuristiques de branchement, maintien de consistance, élimination de symétries, utilisation de contraintes globales, décomposition et hybridation avec méthodes de recherche locale.  

Les analyses de modèles, la reformulation, la conversion de modèles seront également abordés dans le cadre de la modélisation par contraintes.

Voir la page complète