Page personnelle Olivier Roussel Maître de Conférence – CRIL Thèmes : PPC – Contraintes et SAT Mots-clés : SAT Pseudo-Booléens Modifier vos informations Tweet