文献
J-GLOBAL ID:201202256122939989
整理番号:12A1052362
系列二分決定グラフを操作するための豊富な演算体系の構築
Rich Operations for Manipulating Sequence Binary Decision Diagrams
著者 (4件):
伝住周平
(北大 大学院情報科学研究科)
,
有村博紀
(北大 大学院情報科学研究科)
,
湊真一
(北大 大学院情報科学研究科)
,
湊真一
(JST-ERATO)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
112
号:
93(COMP2012 12-25)
ページ:
9-16
発行年:
2012年06月14日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
短報
発行国:
日本 (JPN)
言語:
日本語 (JA)