Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda. An improved data parallel algorithm for Boolean function manipulation using BDDs. In 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP 95), January 25-27, 1995, San Remo, Italy. pages 33-41, IEEE Computer Society, 1995. [doi]
Abstract is missing.