Efficient Implementation of a BDD package (1990)

by K S Brace, R L Rudell, R E Bryant
Venue:in Proceedings of Design Automation Conference