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.

Authors

Seiichiro Tani

This author has not been identified. Look up 'Seiichiro Tani' in Google

Hiroshi Imai

This author has not been identified. Look up 'Hiroshi Imai' in Google