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

by S Minato, N Ishiura, S Yajima
Venue:In Proceedings of the 27th ACM/IEEE Conference on Design Automation