✦ LIBER ✦

Variable ordering algorithms for ordered binary decision diagrams and their evaluation

✍ Scribed by Fujita, M.; Fujisawa, H.; Matsunaga, Y.

Book ID: 119777637
Publisher: IEEE
Year: 1993
Tongue: English
Weight: 706 KB
Volume: 12
Category: Article
ISSN: 0278-0070
DOI: 10.1109/43.184839

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On random orderings of variables for par

On random orderings of variables for parity ordered binary decision diagrams

✍ Petr Savický 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 93 KB

## Ordered binary decision diagrams (OBDDs) are a model for representing Boolean functions. There is also a more powerful variant called parity OBDDs. The size of the representation of a given function depends in both these models on the chosen ordering of the variables. It is known that there are

Variable ordering for ordered binary dec

Variable ordering for ordered binary decision diagrams by a divide-and-conquer approach

✍ Yeh, F.-M.; Kuo, S.-Y. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 684 KB

Finding the optimal variable ordering fo

Finding the optimal variable ordering for binary decision diagrams

✍ Friedman, S.J.; Supowit, K.J. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 418 KB

Using genetic algorithms for the variabl

Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams

✍ A.E.A Almaini; N Zhuang 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 604 KB

An efficient query learning algorithm fo

An efficient query learning algorithm for ordered binary decision diagrams

✍ Atsuyoshi Nakamura 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 498 KB

Binary decision diagrams for first-order

Binary decision diagrams for first-order predicate logic

✍ Jan Friso Groote; Olga Tveretina 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 257 KB