Implementation of an Efficient Parallel BDD Package (1996)

by T Stornetta, F Brewer
Venue:Proc. 33rd ACM/IEEE Design Automation Conf