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