文献
J-GLOBAL ID:200902114643549031
整理番号:93A0322928
順序2値決定図に対する変数順序アルゴリズムとその評価
Variable Ordering Algorithms for Ordered Binary Decision Diagrams and Their Evaluation.
著者 (3件):
FUJITA M
(Fujitsu Lab., Ltd., Kawasaki, JPN)
,
FUJISAWA H
(Fujitsu Lab., Ltd., Kawasaki, JPN)
,
MATSUNAGA Y
(Fujitsu Lab., Ltd., Kawasaki, JPN)
資料名:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
(IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻:
12
号:
1
ページ:
6-12
発行年:
1993年01月
JST資料番号:
B0142C
ISSN:
0278-0070
CODEN:
ITCSDI
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)