Page personnelle Bertrand Mazure Professeur – CRIL, Universite d’Artois Page personnelle Thèmes : PPC – Contraintes et SAT Mots-clés : SAT CSP QBF Modifier vos informations Tweet