Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams.

Kenneth M. Butler, Don E. Ross, Rohit Kapur, M. Ray Mercer

Browse the full DAC paper archive.