E cient Implementation of a BDD Package (1990)

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