Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem

Kazuyoshi Hayase, Kunihiko Sadakane, Seiichiro Tani. Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem. In Ding-Zhu Du, Ming Li, editors, Computing and Combinatorics, First Annual International Conference, COCOON 95, Xi an, China, August 24-26, 1995, Proceedings. Volume 959 of Lecture Notes in Computer Science, pages 229-234, Springer, 1995.

Authors

Kazuyoshi Hayase

This author has not been identified. Look up 'Kazuyoshi Hayase' in Google

Kunihiko Sadakane

This author has not been identified. Look up 'Kunihiko Sadakane' in Google

Seiichiro Tani

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