Ordered Binary Decision Diagrams and Circuit Structure (1989)

by C Berman
Venue:in Proc. Intl. Conf. on Computer Design