SAT : la satisfaction booléenne

FR
EN

Gérard Berry Collège de France

Algorithmes, machines et langages (2007-2019) / Structures de données et algorithmes pour la vérification formelle

16 mars 2016 16:00 17:30 Cours Amphithéâtre Maurice Halbwachs - Marcelin Berthelot