%0 Conference Paper %1 conf/cocoon/HayaseST95 %A Hayase, Kazuyoshi %A Sadakane, Kunihiko %A Tani, Seiichiro %B COCOON %D 1995 %E Du, Ding-Zhu %E Li, Ming %I Springer %K dblp %P 229-234 %T Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem. %U http://dblp.uni-trier.de/db/conf/cocoon/cocoon95.html#HayaseST95 %V 959 %@ 3-540-60216-X

@inproceedings{conf/cocoon/HayaseST95, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hayase, Kazuyoshi and Sadakane, Kunihiko and Tani, Seiichiro}, biburl = {https://www.bibsonomy.org/bibtex/2a3bd22ec51b8f1ce91dd4ddbdb8554eb/dblp}, booktitle = {COCOON}, crossref = {conf/cocoon/1995}, editor = {Du, Ding-Zhu and Li, Ming}, ee = {https://doi.org/10.1007/BFb0030837}, interhash = {0c707669dfea8e3e72a6a47d23e24e9c}, intrahash = {a3bd22ec51b8f1ce91dd4ddbdb8554eb}, isbn = {3-540-60216-X}, keywords = {dblp}, pages = {229-234}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:34:26.000+0200}, title = {Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem.}, url = {http://dblp.uni-trier.de/db/conf/cocoon/cocoon95.html#HayaseST95}, volume = 959, year = 1995 }