Page personnelle Charlotte Truchet Maître de Conférence – IRISA Page personnelle Thèmes : PPC – Contraintes et SAT Mots-clés : programmation par contraintes Modifier vos informations Tweet