Decomposition of Boolean Functions Specified by Cubes.
Janusz A. BrzozowskiTadeusz LubaPublished in: J. Multiple Valued Log. Soft Comput. (2003)
Keyphrases
- boolean functions
- bi decomposition
- functional decomposition
- uniform distribution
- threshold functions
- functional properties
- dnf formulae
- prime implicants
- membership queries
- relevant variables
- multi valued
- decomposition method
- linear functions
- decomposition methods
- linear threshold
- polynomial size
- dnf formulas
- binary decision diagrams
- read once formulas