Dynamic variable ordering for ordered binary decision diagrams (1993)

by Richard Rudell
Venue:In IEEE International Conf. on Computer-Aided Design