Keyphrases
- boolean functions
- uniform distribution
- randomly generated
- dnf formulae
- relevant variables
- membership queries
- functional properties
- read once formulas
- linear threshold
- search algorithm
- disjunctive normal form
- prime implicants
- bi decomposition
- polynomial size
- pseudo boolean functions
- truth table
- binary decision diagrams
- classification rules
- heuristic search
- database design