𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by A.E.A Almaini; N Zhuang

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
604 KB
Volume
26
Category
Article
ISSN
0026-2692

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