Efficient manipulation algorithms for linearly transformed BDDs.
Wolfgang GüntherRolf DrechslerPublished in: ICCAD (1999)
Keyphrases
- highly scalable
- computationally expensive
- computationally intensive
- computationally efficient
- learning algorithm
- computational complexity
- computationally demanding
- computational cost
- convergence rate
- data structure
- recently developed
- classification algorithm
- orders of magnitude
- worst case
- benchmark datasets
- efficient implementation
- highly efficient
- optimization problems
- pruning strategy
- limited memory
- significant improvement
- algorithms and data structures
- algorithmic solutions
- computationally complex