A BDD Package For A Massively Parallel SIMD Architecture.

Gianpiero Cabodi, Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda

Browse the full PDP paper archive.