Keyphrases
- boolean functions
- uniform distribution
- randomly generated
- threshold functions
- prime implicants
- dnf formulae
- relevant variables
- polynomial size
- membership queries
- linear threshold
- read once formulas
- functional properties
- bi decomposition
- disjunctive normal form
- binary decision diagrams
- decision trees
- dnf formulas
- pseudo boolean functions