Dynamic variable ordering for ordered binary decision diagrams (1993)

by R Rudell
Venue:in Proc