1999-05-03Dissertation
Binary Decision Diagrams for Random Boolean Functions
Gröpl, Clemens
Binary Decision Diagrams (BDDs) sind eine Datenstruktur für Boolesche Funktionen, die auch unter dem Namen branching program bekannt ist. In ordered binary decision diagrams (OBDDs) müssen die Tests einer festen ...