𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Short-time scaling of variable ordering of OBDDs

✍ Scribed by Wangning Long; Yinghua Min; Shiyuan Yang; Shibai Tong

Publisher
Springer
Year
1997
Tongue
English
Weight
386 KB
Volume
12
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Variable orderings and the size of OBDDs
Variable orderings and the size of OBDDs for random partially symmetric Boolean functions
✍ Detlef Sieling πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 268 KB πŸ‘ 3 views

The size of ordered binary decision diagrams OBDDs strongly depends on the chosen variable ordering. It is an obvious heuristic to use symmetric variable orderings, i.e., variable orderings where symmetric variables are arranged adjacently. In order to evaluate this heuristic, methods for estimating