Bi-decomposition of large Boolean functions using blocking edge graphs.
Mihir R. ChoudhuryKartik MohanramPublished in: ICCAD (2010)
Keyphrases
- bi decomposition
- boolean functions
- weighted graph
- undirected graph
- multi valued
- uniform distribution
- functional properties
- logic synthesis
- dnf formulae
- threshold functions
- bounded treewidth
- graph structure
- prime implicants
- membership queries
- spanning tree
- directed graph
- decomposition methods
- polynomial size
- machine learning
- disjunctive normal form
- approximation algorithms
- support vector machine
- database systems