Accueil > Verimag > Séminaires

Détails sur le séminaire

Grande Salle de CE4
14 novembre 2011 - 14h00
Sets with Cardinality Constraints in Satisfiability Modulo Theories
par Philippe Suter de EPFL

Résumé :

Contact | Plan du site | Site réalisé avec SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 5290551

UGA

CNRS

INP Grenoble