Efficient parallel GPU algorithms for BDD manipulation.

Miroslav N. Velev Ping Gao

Published 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