Finding the Optimal Variable Ordering for Binary Decision Diagrams.

Steven J. Friedman, Kenneth J. Supowit

Browse the full DAC paper archive.