𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On random orderings of variables for par
✍ 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