M.R.: Heuristics to compute variable orderings for efficient manipulation of ordered binary decision diagrams (1991)

by K M Butler, D E Ross, R K Kapur, Mercer
Venue:In: Des Autom Conf