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