A Mechanically Verified AIG-to-BDD Conversion Algorithm.
Sol SwordsWarren A. Hunt Jr.Published in: ITP (2010)
Keyphrases
- preprocessing
- improved algorithm
- detection algorithm
- optimization algorithm
- expectation maximization
- matching algorithm
- learning algorithm
- experimental evaluation
- dynamic programming
- np hard
- cost function
- significant improvement
- computational complexity
- objective function
- times faster
- high accuracy
- worst case
- tree structure
- feature selection algorithms
- theoretical analysis
- computationally efficient
- input data
- multi objective
- k means
- similarity measure