Tree-shellability of Boolean functions.

Yasuhiko Takenaga Kouji Nakajima Shuzo Yajima

Published in: Theor. Comput. Sci. (2001)

Keyphrases

boolean functions
uniform distribution
prime implicants
threshold functions
tree structure
dnf formulae
relevant variables
functional properties
read once formulas
multi valued
binary decision diagrams
membership queries
pseudo boolean functions
decision trees
linear threshold
bi decomposition