On decomposing Boolean functions via extended cofactoring.

Anna Bernasconi Valentina Ciriani Gabriella Trucco Tiziano Villa

Published in: DATE (2009)

Keyphrases

boolean functions
uniform distribution
threshold functions
relevant variables
randomly generated
functional properties
prime implicants
membership queries
multi valued
dnf formulae
pseudo boolean functions
linear threshold
read once formulas
disjunctive normal form
dnf formulas
decision trees
truth table