✦ LIBER ✦

BDD

Book ID: 107352311
Publisher: Springer-Verlag
Year: 2009
Tongue: German
Weight: 115 KB
Volume: 5
Category: Article
ISSN: 1860-9716
DOI: 10.1007/s11428-008-0378-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mitteilungen des BDD

📂 Article 📅 2007 🏛 Springer-Verlag 🌐 German ⚖ 145 KB

Mitteilungen des BDD

📂 Article 📅 2008 🏛 Springer-Verlag 🌐 German ⚖ 142 KB

Mitteilungen des BDD

📂 Article 📅 2008 🏛 Springer-Verlag 🌐 German ⚖ 69 KB

Mitteilungen des BDD

📂 Article 📅 2008 🏛 Springer-Verlag 🌐 German ⚖ 115 KB

Minimization of free BDDs

✍ Wolfgang Günther; Rolf Drechsler 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Free binary decision diagrams (FBDDs) are an extension of ordered BDDs (OBDDs) that allow different variable orders along each path. FBDDs are a more efficient representation, while (nearly) all of the properties of OBDDs are kept. In some cases, even an exponential reduction can be observed. In th

Real Numbers and BDDs

✍ Norbert Th. Müller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 205 KB

We present a proposal for representing large vectors of real numbers using binary decision diagrams (BDDs). If the vectors contain structured data, the necessary size may be reduced significantly compared to an explicit representation of the numbers. We are able to prove a nontrivial upper bound for