Keyphrases
- boolean functions
- pseudo boolean functions
- linear functions
- uniform distribution
- prime implicants
- threshold functions
- pairwise
- relevant variables
- computational complexity
- objective function
- multi valued
- disjunctive normal form
- functional properties
- bi decomposition
- dnf formulae
- membership queries
- linear threshold
- binary decision diagrams