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