Correlation of Boolean Functions and Pathology in Recursion Trees.

Ingo Althöfer Imre Leader

Published in: SIAM J. Discret. Math. (1995)

Keyphrases

boolean functions
uniform distribution
threshold functions
linear functions
prime implicants
relevant variables
dnf formulae
decision trees
membership queries
linear threshold
multi valued
functional properties
read once formulas
pseudo boolean functions
automated reasoning
pac learning
search algorithm