Page personnelle Djamal Habet Maître de Conférence – LSIS Thèmes : PPC – Contraintes et SAT Mots-clés : SAT Max-SAT Min-SAT Modifier vos informations Tweet