Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima. The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams. In Kam-Wing Ng, Prabhakar Raghavan, N. V. Balasubramanian, Francis Y. L. Chin, editors, Algorithms and Computation, 4th International Symposium, ISAAC 93, Hong Kong, December 15-17, 1993, Proceedings. Volume 762 of Lecture Notes in Computer Science, pages 389-398, Springer, 1993.
Abstract is missing.