The BDDs (Binary Decision Diagrams) and their Applications

FR
EN

Gérard Berry Collège de France

Algorithms, Machines and Languages (2007-2019) / Data Structures and Algorithms for Formal Verification

09 March 2016 4:00 pm 5:30 pm Lectures Amphithéâtre Maurice Halbwachs - Marcelin Berthelot

Download the video