An Efficient Approach to Decomposition of Multi-Output Boolean Functions with Large Sets of Bound Variables.
Michael BurnsMarek A. PerkowskiLech JózwiakPublished in: EUROMICRO (1998)
Keyphrases
- boolean functions
- relevant variables
- linear functions
- bi decomposition
- uniform distribution
- functional decomposition
- linear threshold
- disjunctive normal form
- threshold functions
- dnf formulae
- upper bound
- prime implicants
- membership queries
- lower bound
- binary decision diagrams
- functional properties
- worst case
- decomposition methods
- variable selection
- truth table
- propositional formulas
- decomposition method
- multi valued
- logic synthesis