Efficient implementation of a BDD package. (1991)

by K S Brace, R L Rudell, R E Bryant
Venue:In 27th Annual ACM IEEE Design Automation Conference,