Evaluations and Improvements of a Boolean Comparison (1988)

by M Fujita, H Fujisawa, N Kawato
Venue:Program Based on Binary Decision Diagrams,” International Conference on Computer-Aided Design