Improvements to Satisfiability-Based Boolean Function Bi-Decomposition.
Huan ChenJoão Marques-SilvaPublished in: VLSI-SoC (Selected Papers) (2011)
Keyphrases
- bi decomposition
- boolean functions
- multi valued
- functional properties
- logic synthesis
- uniform distribution
- satisfiability problem
- np complete
- computational complexity
- relevant variables
- boolean formula
- membership queries
- phase transition
- sat problem
- monotone boolean functions
- decomposition methods
- propositional logic
- heuristic search
- special case
- relational databases
- decision trees
- machine learning