Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities.

Mitchell A. Thornton, J. P. Williams, Rolf Drechsler, Nicole Drechsler

Browse the full DATE paper archive.