Shared binary decision diagrams with attributed edges for ecient boolean function manipulation (1990)

by S Minato, N Ishiura, S Yajima
Venue:In Proceedings of the 27th Design Automation Conference (DAC