国立国会図書館サーチ(NDL SEARCH)
検索を開く
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
雑誌
電子情報通信学会技術研究報告 : 信学技報
巻号
112(320):2012.11.26-28
記事
再帰的仕様記述を用い...
再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 (VLSI設計技術)
記事を表すアイコン
再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法
(VLSI設計技術)
国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
024148797
資料種別
記事
著者
岩下 洋哲ほか
出版者
東京 : 電子情報通信学会
出版年
2012-11
資料形態
紙
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 112(320):2012.11.26-28
掲載ページ
p.25-29
すべて見る
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
書誌情報を出力
紙
資料種別
記事
タイトル
再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法
著者・編者
岩下 洋哲
川原 純
湊 真一
シリーズタイトル
VLSI設計技術
著者標目
岩下 洋哲
川原 純
湊 真一
並列タイトル等
An Efficient ZDD Construction Method Using Recursive Specifications
タイトル(掲載誌)
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等(掲載誌)
112(320):2012.11.26-28
掲載巻
112
掲載号
320
掲載ページ
25-29
掲載年月日(W3CDTF)
2012-11
ISSN(掲載誌)
0913-5685
ISSN-L(掲載誌)
0913-5685
出版事項(掲載誌)
東京 : 電子情報通信学会
出版地(国名コード)
JP
本文の言語コード
jpn
件名標目
フロンティア法
ZDD
部分グラフの列挙
リンクパズル
遅延評価
frontier-based search
subgraph enumeration
link puzzle
lazy evaluation
NDLC
ZN33
対象利用者
一般
レポート番号(雑誌記事)
VLD2012-63
所蔵機関
国立国会図書館
請求記号
Z16-940
連携機関・データベース
国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
書誌ID(NDLBibID)
024148797
http://id.ndl.go.jp/bib/024148797
整理区分コード
632
もっと見る