Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities. - Mitchell A. Thornton; J. P. Williams; Rolf Drechsler; Nicole Drechsler (DATE, 1999)