Keyphrases
- boolean functions
- recursive functions
- uniform distribution
- relevant variables
- membership queries
- pseudo boolean functions
- multi valued
- polynomial size
- truth table
- binary decision diagrams
- stack filters
- image processing
- functional properties
- bi decomposition
- read once formulas
- inductive inference
- functional decomposition