Partager cette page :

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 :
  1. 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, ...).
  2. 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).
  3. 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