Login / Signup
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