Simplified Decomposition of Boolean Functions.
H. Allen CurtisPublished in: IEEE Trans. Computers (1976)
Keyphrases
- boolean functions
- bi decomposition
- functional decomposition
- truth table
- uniform distribution
- dnf formulae
- threshold functions
- prime implicants
- relevant variables
- functional properties
- membership queries
- decomposition method
- binary decision diagrams
- read once formulas
- polynomial size
- pseudo boolean functions
- machine learning
- linear functions
- dnf formulas
- multi valued
- search algorithm