Cours de Programmation par Contraintes

Ecole Jeunes Chercheurs en Programmation
 

25 juin 2011, Dinard

Francois Fages

 projet Contraintes

INRIA Rocquencourt



Plan du cours et transparents (6 heures):
  1. Introduction
  2. Rappels de logique, théories complètes et décidabilité des langages de contraintes,
  3. Résolution de contraintes et programmes logiques avec contraintes, exemples PLC(H,B,FD,R)
  4. Sémantique opérationnelle et de point fixe, interprétation abstraite, vérification de modèles
  5. Conclusion et perspectives (2003), panorama d'outils existants, sujets de recherche d'actualité.
Exercice de modélisation: séquencement des vols à l'arrivée d'Orly.

Notes de cours  (2001).

Cours plus détaillé (24 heures) ici.