On thin Boolean functions and related optimum OBDD ordering.

Yu-Liang Wu Hongbing Fan C. K. Wong

Published in: ICCD (1998)

Keyphrases

boolean functions
uniform distribution
randomly generated
multi valued
threshold functions
relevant variables
prime implicants
dnf formulae
membership queries
binary decision diagrams
polynomial size
functional properties
bounded treewidth
linear functions
read once formulas
truth table