Efficient implementation of a BDD package (1990)

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