文献
J-GLOBAL ID:200902012368659622
整理番号:86A0547321
ブール関数処理に対するグラフベースのアルゴリズム
Graph-based algorithms for Boolean function manipulation.
著者 (1件):
BRYANT R E
(Carnegie-Mellon Univ., PA)
資料名:
IEEE Transactions on Computers
(IEEE Transactions on Computers)
巻:
35
号:
8
ページ:
677-691
発行年:
1986年08月
JST資料番号:
C0233A
ISSN:
0018-9340
CODEN:
ICTOB4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)