Le cours de satisfaction de contraintes (Pascal Koiran, Marc
Mézard et Laurent Simon) a eu lieu pour la première fois
en 2008-2009.
Pour cetains cours, des notes
rédigées par les étudiants sont disponibles.
Elles et ont été relues et parfois sommairement
corrigées par les enseignants, mais nous ne garantissons pas
leur correction ni leur complétude.
Use at your own risk!