Efficient implementation of a BDD package (0)

by K S Brace, R L Rudell, R E Bryant
Venue:Proc. DAC ‘90