On Variable Ordering of Ordered Functional Decision Diagrams

TitleOn Variable Ordering of Ordered Functional Decision Diagrams
Publication TypeTechnical Report
Year of Publication1994
AuthorsBecker B, Drechsler R, Theobald M
Other Numbers876

In this paper methods for finding good variable orderings for ordered functional decision diagrams (OFDDs) are investigated. We present an algorithm for exact minimization of OFDDs that is applicable for functions up to n = 14 variables. We present an upper bound for the size of OFDDs representing tree-like circuits. Various methods for dynamic variable ordering based on the exchange of variables are presented. Experimental results are given to show the efficiency of our approaches.

Bibliographic Notes

ICSI Technical Report TR-94-006

Abbreviated Authors

B. Becker, R. Drechsler, and M. Theobald

ICSI Publication Type

Technical Report