Minimization of Boolean Functions.

Nripendra N. Biswas

Published in: IEEE Trans. Computers (1971)

Keyphrases

boolean functions
uniform distribution
threshold functions
relevant variables
objective function
prime implicants
functional properties
multi valued
pseudo boolean functions
membership queries
binary decision diagrams
polynomial size
bi decomposition
dnf formulae