Ordered binary decision diagrams and circuit structure (1989)

by C L Berman
Venue:International Coference on Computer Design