F.: Algebraic decision diagrams and their applications (1993)

by R Bahar, E Frohm, C Gaona, G Hachtel, E Macii, A Pardo, Somenzi
Venue:In: ICCAD’93