Efficient implementation of a BDD package (1991)

by Karl S. Brace , Richard L. Rudell , Randal E. Bryant
Venue:In Proceedings of the 27th ACM/IEEE conference on Design autamation
Citations:475 - 10 self