A parallel algorithm for constructing binary decision diagrams (1990)

by Shinji Kimura, Edmund M Clarke
Venue:In: Proc. Int. Conf. on Computer Design (ICCD). IEEE Comp. Soc