Keyphrases
- boolean functions
- uniform distribution
- prime implicants
- quantified boolean formulas
- randomly generated
- threshold functions
- relevant variables
- logic programming
- dnf formulae
- functional properties
- multi valued
- boolean formula
- linear threshold
- binary decision diagrams
- reasoning tasks
- disjunctive normal form
- membership queries
- dnf formulas
- read once formulas
- polynomial size
- constraint satisfaction problems