๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Exact OBDD Bounds for Some Fundamental Functions

โœ Scribed by Beate Bollig; Niko Range; Ingo Wegener


Book ID
105915111
Publisher
Springer
Year
2009
Tongue
English
Weight
570 KB
Volume
47
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Asymptotically Optimal Bounds for OBDDs
โœ Beate Bollig; Ingo Wegener ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 262 KB

Ordered binary decision diagrams (OBDDs) are nowadays the most common dynamic data structure or representation type for Boolean functions. Among the many areas of application are verification, model checking, and computer aided design. For many functions it is easy to estimate the OBDD size but asym