Variable orderings and the size of OBDDs
โ
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