Publication Details
Title: On Variable Ordering of Ordered Functional Decision Diagrams
Author: B. Becker, R. Drechsler, and M. Theobald
Group: ICSI Technical Reports
Date: January 1994
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1994/tr-94-006.pdf
Overview:
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 Information:
ICSI Technical Report TR-94-006
Bibliographic Reference:
B. Becker, R. Drechsler, and M. Theobald. On Variable Ordering of Ordered Functional Decision Diagrams. ICSI Technical Report TR-94-006, January 1994
Author: B. Becker, R. Drechsler, and M. Theobald
Group: ICSI Technical Reports
Date: January 1994
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1994/tr-94-006.pdf
Overview:
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 Information:
ICSI Technical Report TR-94-006
Bibliographic Reference:
B. Becker, R. Drechsler, and M. Theobald. On Variable Ordering of Ordered Functional Decision Diagrams. ICSI Technical Report TR-94-006, January 1994