OBDD Minimization Based on Two-Level Representation of Boolean Functions.

Yu-Liang Wu Hongbing Fan Malgorzata Marek-Sadowska C. K. Wong

Published in: IEEE Trans. Computers (2000)

Keyphrases

boolean functions
functional decomposition
binary decision diagrams
uniform distribution
multi valued
threshold functions
prime implicants
dnf formulae
randomly generated
relevant variables
functional properties
membership queries
linear threshold
objective function
read once formulas