Lectures on Constraint Programming
by Francois Fages
Equipe-projet Contraintes
INRIA
Paris-Rocquencourt
Course
on Constraint
Programming (24h) Master Parisien de Recherche en Informatique,
Paris.
Introductory articles (in
French):
- Chapitre
"Programmation
logique et contraintes" de l'encyclopédie Vuibert.
- Article Des contraintes au programme. Revue
littéraire Actes de Savoirs, PUF. 2007.
Lecture
notes
on Constraint Logic
Programming
Programming
project
Slides
- Introduction
- Logical
background, complete theories and decidability of constraint
languages
- Constraint
Solving by simplification and by domain reduction
- Symmetries
- Constraint
Logic Programming (CLP): operational and fixpoint semantics,
abstract
interpretation, constraint-based model checking
- Global constraints (Nicolas Beldiceanu)
- Logical semantics of CLP programs,
automated deduction,
higher-order
- Concurrent
Constraint Programming (CC): operational semantics and examples
- Denotational semantics and
constraint propagation
- Logical semantics in Linear
Logic
EJCP : Course at Ecole Jeunes
Chercheurs en
Programmation (6
hours).