Page personnelle Christophe Ringeissen Chargé de Recherche – INRIA Nancy Thèmes : PPC – Contraintes et SAT Mots-clés : SMT procédure de décision programmation déclarative Modifier vos informations Tweet