Paradigme de programmation par contraintes. Domaines de contraintes. Algorithmes de satisfaction, simplification et implication de contraintes. Manifestations en programmation logique, programmation concourante, bases de données relationnelles, raisonnement automatique, interfaces graphiques et optimisation combinatoire. Modélisation et résolution de problèmes combinatoires.
- Responsable du site: Gilles Pesant