Improvements to satisfiability-based boolean function bi-decomposition.
Huan ChenJoão Marques-SilvaPublished in: VLSI-SoC (2011)
Keyphrases
- bi decomposition
- boolean functions
- multi valued
- functional properties
- logic synthesis
- uniform distribution
- membership queries
- decomposition methods
- satisfiability problem
- relevant variables
- propositional logic
- boolean formula
- polynomial size
- np complete
- search algorithm
- stack filters
- dnf formulas
- linear functions
- phase transition
- computational complexity