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.
@inproceedings{HayaseST95,
title = {Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem},
author = {Kazuyoshi Hayase and Kunihiko Sadakane and Seiichiro Tani},
year = {1995},
researchr = {https://researchr.org/publication/HayaseST95},
cites = {0},
citedby = {0},
pages = {229-234},
booktitle = {Computing and Combinatorics, First Annual International Conference, COCOON 95, Xi an, China, August 24-26, 1995, Proceedings},
editor = {Ding-Zhu Du and Ming Li},
volume = {959},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60216-X},
}