An improved data parallel algorithm for Boolean function manipulation using BDDs.

Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda

Browse the full PDP paper archive.