✦ LIBER ✦

Finding the optimal variable ordering for binary decision diagrams

✍ Scribed by Friedman, S.J.; Supowit, K.J.

Book ID: 119772502
Publisher: IEEE
Year: 1990
Tongue: English
Weight: 418 KB
Volume: 39
Category: Article
ISSN: 0018-9340
DOI: 10.1109/12.53586

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Variable ordering algorithms for ordered

Variable ordering algorithms for ordered binary decision diagrams and their evaluation

✍ Fujita, M.; Fujisawa, H.; Matsunaga, Y. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 706 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

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

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

Variable ordering for shared binary deci

Variable ordering for shared binary decision diagrams targeting node count and path length optimisation using particle swarm technique

✍ Mitra, A.; Chattopadhyay, S. 📂 Article 📅 2012 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 373 KB