Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.
Seh-Woong JeongBernard PlessierGary D. HachtelFabio SomenziPublished in: ICCAD (1991)
Keyphrases
- computational complexity
- times faster
- learning algorithm
- theoretical analysis
- computational cost
- optimization problems
- computationally efficient
- recently developed
- image processing
- data mining techniques
- database systems
- data structure
- search algorithm
- probabilistic model
- hierarchical structure
- formal verification