Abstract
In this book recent developments concerning theoretical and implementational issues of Binary Decision Diagrams (BDDs) have been presented. Based on a general definition of the notion Decision Diagram, we introduced BDDs and discussed their relation to other DD based data structures, like e.g. FDDs, KFDDs on the bit level and EVBDDs, K*BMDs on the word level. We had a closer look at BDDs and pFDDs to show how exponential trade-offs between different types of DDs can be proven. In summary, this analyses the position of BDDs in the context of the “whole DD-world”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Drechsler, R., Becker, B. (1998). Conclusions. In: Binary Decision Diagrams. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-2892-7_10
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2892-7_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5047-5
Online ISBN: 978-1-4757-2892-7
eBook Packages: Springer Book Archive