Ordered binary decision diagrams and circuit structure (1989)

by C L Berman
Venue:Proc. IEEE ICCD