Master Sciences, Technique, Santé

Partie 2 (Emmanuel Coquery) : Contraintes : Algorithmes et Techniques

Cette partie vise à introduire formellement la notion de contraintes, en particulier à travers la programmation par contraintes, ainsi qu'à décrire un ensemble d'algorithmes et de techniques employés en programmation par contraintes. Nous aborderons les points suivants:

• 
  Langage:
  

• 
  Notion de domaine de contraintes, principes de la programmation par contraintes.
  
• 
  Différents domaines de contraintes: domaines finis, réels/rationnels, ordres.
  

• 
  Algorithmique et techniques de résolution:
  

• 
  Algorithmes de filtrage: consistance de borne, d'arc, de chemin
  
• 
  Contraintes globales
  
• 
  Filtrage de contraintes par réécriture
  

Compétences acquises
Méthodologiques : Savoir définir un problème nécessitant des techniques avancées de représentation de connaissances et de modélisation de données. Savoir identifier les approches algorithmiques nécessaires et les algorithmes qui serviront de bases pour proposer des solutions a des problèmes spécifiques.

Techniques : Utilisation d'outils formels

Secteur d’activité concerné et compétences métier acquises :