Near optimal factorization of Boolean functions.

Giuseppe Caruso

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)

Keyphrases

boolean functions
uniform distribution
prime implicants
threshold functions
dnf formulae
membership queries
pairwise
functional properties
multi valued
relevant variables
read once formulas
dnf formulas
binary decision diagrams
polynomial size
truth table
pseudo boolean functions