Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation (1990)

by S Minato, N Ishiura, S Yajima
Venue:27th ACM/IEEE Design Automation Conference