Module "Programmation logique par contraintes" 2011/2012
Master 1ère année



BARRE




Organisation




Calendrier et polycopies

Semaine duCoursTD/TPObservations
14 nov. Cours 1 TD/TP 1
21 nov. Cours 2 TD/TP 2
28 nov. Cours 3 TD/TP 3
5 déc. Cours 4 TD/TP 4
12 déc. Cours 5 TD/TP 5



Liens

  • Article de wikipedia avec plein de références
  • Site général
  • GNU Prolog
  • site du livre Programming with Constraints: An Introduction
  • Ce livre d'Intelligence Artificielle contient un chapitre sur la resolution de contraintes sur un domaine fini (à télécharger).
  • Un tutorial sur la programmation avec contraintes