Aperiodic propagation criteria for Boolean functions.

Lars Eirik Danielsen T. Aaron Gulliver Matthew Geoffrey Parker

Published in: Inf. Comput. (2006)

Keyphrases

boolean functions
uniform distribution
threshold functions
relevant variables
membership queries
multi valued
dnf formulae
prime implicants
linear threshold
functional properties
polynomial size
bi decomposition
dnf formulas
binary decision diagrams
search algorithm
read once formulas
pseudo boolean functions