Variable ordering algorithms for ordered binary decision diagrams and their evaluation (1993)

by M Fujita, H Fujisawa, Y Matsunaga
Venue:IEEE Transactions of Computer-Aided Design of Integrated Circuits and Systems