Verimag

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 3.0.26 + AHUNTSIC [CC License]

info visites 876899