Efficient Implementation of a BDD Package (1990)

by K S Brace, R L Rudell, R E Bryant
Venue:27th ACMI/EEE Design Automation Conference