✦ LIBER ✦

Fast exact minimization of BDD's

✍ Scribed by Drechsler, R.; Drechsler, N.; Gunther, W.

Book ID: 119778604
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 240 KB
Volume: 19
Category: Article
ISSN: 0278-0070
DOI: 10.1109/43.833206

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An improved branch and bound algorithm f

An improved branch and bound algorithm for exact BDD minimization

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

Combining ordered best-first search with

Combining ordered best-first search with branch and bound for exact BDD minimization

✍ Ebendt, R.; Gunther, W.; Drechsler, R. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 506 KB

Towards the Exact Minimization of BDDs—A

Towards the Exact Minimization of BDDs—An Elitism-Based Distributed Evolutionary Algorithm

✍ Shan-Tai Chen; Shun-Shii Lin; Li-Te Huang; Chun-Jen Wei 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 260 KB

Sufficiency of Exact Penalty Minimizatio

Sufficiency of Exact Penalty Minimization

✍ Mangasarian, O. L. 📂 Article 📅 1985 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 856 KB

Sympathy: fast exact minimization of fix

Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions

✍ Drechsler, R.; Becker, B. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 119 KB