Evaluations and improvements of a Boolean comparison program based on binary decision diagrams (1988)

by M Fujita, H Fujisawa, N Kawato
Venue:International Conference on Computer-Aided Design