Space- and Time-Efficient BDD Construction via Working Set Control.

Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron

Browse the full ASPDAC paper archive.