Contraintes globales : modélisation, résolution et applications
le 9 octobre 2007
de 10h15 à 12h00
ENS Rennes Amphithéâtre
Plan d'accès
Intervention de Nicolas Beldiceanu, professeur à l'École des mines de Nantes, responsable de l'équipe Contraintes au LINA (séminaire du département Informatique et télécommunications).
Les contraintes globales permettent d'une part de représenter de manière concise des conditions complexes et d'autre part de traiter ces conditions de manière efficace.
L'exposé se concentrera sur trois aspects complémentaires suivants :
Lien : http://www.emn.fr/x-info/sdemasse/gccat/
L'exposé se concentrera sur trois aspects complémentaires suivants :
- L'aspect modélisation concerne la représentation explicite du sens d'une contrainte en termes de représentation explicitement exploitable par une machine (automates, propriété de graphe, ...).
- L'aspect résolution traite des aspects algorithmiques intervenant dans le traitement des contraintes. On évoquera les principales familles de méthodes (filtrage par les automates, bornes de propriétés de graphes, modèles de flots, méthodes de balayage).
- Finalement on mentionnera les principaux domaines d'applications industriels ainsi que quelques résultats récents sur des problèmes de placements.
Lien : http://www.emn.fr/x-info/sdemasse/gccat/
- Thématique(s)
- Formation, Recherche - Valorisation
- Contact
- Claude Jard
Mise à jour le 12 septembre 2019