On the Decomposition of Boolean Functions via Boolean Equations.
Sergiu RudeanuPublished in: J. Univers. Comput. Sci. (2004)
Keyphrases
- boolean functions
- bi decomposition
- functional decomposition
- uniform distribution
- threshold functions
- dnf formulae
- prime implicants
- decomposition method
- functional properties
- membership queries
- relevant variables
- truth table
- disjunctive normal form
- read once formulas
- decomposition methods
- multi valued
- machine learning
- pseudo boolean functions
- linear threshold
- dnf formulas
- binary decision diagrams
- relational databases