Complex Disjunctive Decomposition of Incompletely Specified Boolean Functions.

Published in: IEEE Trans. Computers (1973)

Keyphrases

boolean functions
bi decomposition
functional decomposition
uniform distribution
functional properties
relevant variables
threshold functions
dnf formulae
membership queries
decomposition method
binary decision diagrams
prime implicants