Efficient parallel GPU algorithms for BDD manipulation.
Miroslav N. VelevPing GaoPublished in: ASP-DAC (2014)
Keyphrases
- parallel architectures
- computationally expensive
- real time
- computational cost
- computationally efficient
- orders of magnitude
- data structure
- parallel hardware
- graphics processing units
- highly efficient
- learning algorithm
- parallel implementations
- parallel implementation
- parallel processing
- times faster
- theoretical analysis
- optimization problems
- worst case
- computational complexity
- efficient implementation
- state space
- highly scalable
- parallel programming
- significant improvement
- computationally demanding
- lower bound
- algorithmic solutions
- computation intensive