Keyphrases
- boolean functions
- pseudo boolean functions
- uniform distribution
- linear functions
- threshold functions
- prime implicants
- functional properties
- membership queries
- polynomial size
- dnf formulae
- computational complexity
- machine learning
- relevant variables
- multi valued
- objective function
- binary decision diagrams
- disjunctive normal form
- bi decomposition
- read once formulas
- search algorithm
- rough sets