On Variable Ordering of Ordered Functional Decision Diagrams
| Title | On Variable Ordering of Ordered Functional Decision Diagrams |
| Publication Type | Technical Report |
| Year of Publication | 1994 |
| Authors | Becker B, Drechsler R, Theobald M |
| Other Numbers | 876 |
| Abstract | 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. |
| URL | http://www.icsi.berkeley.edu/ftp/global/pub/techreports/1994/tr-94-006.pdf |
| Bibliographic Notes | ICSI Technical Report TR-94-006 |
| Abbreviated Authors | B. Becker, R. Drechsler, and M. Theobald |
| ICSI Publication Type | Technical Report |