Page personnelle Eric Monfroy Professeur – LERIA Thèmes : PPC – Contraintes et SAT Mots-clés : programmation par contraintes modélisation collaboration de solveurs Modifier vos informations Tweet