A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs

Seiichiro Tani, Hiroshi Imai. A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs. In Ding-Zhu Du, Xiang-Sun Zhang, editors, Algorithms and Computation, 5th International Symposium, ISAAC 94, Beijing, P. R. China, August 25-27, 1994, Proceedings. Volume 834 of Lecture Notes in Computer Science, pages 575-583, Springer, 1994.

Abstract

Abstract is missing.