Finding the Optimal Variable Ordering for Binary Decision Diagrams

Steven J. Friedman, Kenneth J. Supowit. Finding the Optimal Variable Ordering for Binary Decision Diagrams. IEEE Transactions on Computers, 39(5):710-713, 1990.

Abstract

Abstract is missing.