Efficient parallel GPU algorithms for BDD manipulation | IEEE Conference Publication | IEEE Xplore