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
  
• 
  Programmation par contraintes
  
  • 
    Sémantique des programmes logiques avec contraintes
    
• 
  Différents domaines de contraintes: domaines finis, réels/rationnels, (types, calendriers).