𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams

✍ Scribed by Stephan Waack

Book ID
112252578
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
84 KB
Volume
166
Category
Article
ISSN
0890-5401

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