Page personnelle Djamal Habet Professeur – LIS UMR 7020 Thèmes : PPC – Contraintes et SAT Mots-clés : SAT Max-SAT Contraintes Modifier vos informations Tweet