Keyphrases
- boolean functions
- binary decision diagrams
- uniform distribution
- multi valued
- prime implicants
- threshold functions
- theorem prover
- relevant variables
- dnf formulae
- functional properties
- natural deduction
- formal methods
- theorem proving
- polynomial size
- disjunctive normal form
- machine learning
- pseudo boolean functions
- bi decomposition
- linear functions
- linear threshold
- statistical queries