Implementation of an efficient parallel BDD package (1996)

by T Stornetta, F Brewer
Venue:Proc. DAC