Algebraic decision diagrams and their applications (1993)

by R Iris Bahar, Erica A Frohm, Charles M Gaona, Gary D Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
Venue:In IEEE International Conf. on Computer-Aided Design