Dynamic variable ordering for ordered binary decision diagrams (1993)

by R Rudell
Venue:IEEE/ACM International Conference on CAD