✦ LIBER ✦

BDD minimization using symmetries

✍ Scribed by Scholl, C.; Moller, D.; Molitor, P.; Drechsler, R.

Book ID: 119778413
Publisher: IEEE
Year: 1999
Tongue: English
Weight: 872 KB
Volume: 18
Category: Article
ISSN: 0278-0070
DOI: 10.1109/43.743706

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using lower bounds during dynamic BDD mi

Using lower bounds during dynamic BDD minimization

✍ Drechsler, R.; Gunther, W.; Somenzi, F. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 156 KB

Sibling-substitution-based BDD minimizat

Sibling-substitution-based BDD minimization using don't cares

✍ Youpyo Hong; Beerel, P.A.; Burch, J.R.; McMillan, K.L. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 347 KB

History-based dynamic BDD minimization

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

BDD minimization by scatter search

✍ Hung, W.N.N.; Xiaoyu Song; Aboulhamid, E.M.; Driscoll, M.A. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 308 KB

Fast exact minimization of BDD's

✍ Drechsler, R.; Drechsler, N.; Gunther, W. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 240 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