Negation Trees: A Unified Approach to Boolean Function Complementation.
Yuke WangCarl McCroskyPublished in: IEEE Trans. Computers (1996)
Keyphrases
- boolean functions
- uniform distribution
- decision trees
- relevant variables
- membership queries
- linear functions
- bi decomposition
- functional properties
- logic programs
- logic programming
- truth table
- binary decision diagrams
- dnf formulas
- read once formulas
- stack filters
- pseudo boolean functions
- polynomial size
- horn clauses
- upper bound