Keyphrases
- boolean functions
- prime implicants
- disjunctive normal form
- uniform distribution
- statistical queries
- positive and negative
- randomly generated
- threshold functions
- relevant variables
- dnf formulae
- search space
- membership queries
- multi valued
- functional properties
- linear threshold
- binary decision diagrams
- dnf formulas
- first order logic
- boolean formula
- read once formulas
- search algorithm
- lower bound