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!