文献
J-GLOBAL ID:200902134776500753
整理番号:93A0828835
順序付リシャッフル戦略によるBDDの構築
Building BDDs with ordering-reshuffle strategy.
著者 (2件):
YEH F-M
(National Taiwan Univ., Taipei, TWN)
,
LIN C-S
(National Taiwan Univ., Taipei, TWN)
資料名:
Electronics Letters
(Electronics Letters)
巻:
29
号:
17
ページ:
1540-1541
発行年:
1993年08月19日
JST資料番号:
A0887A
ISSN:
0013-5194
CODEN:
ELLEAK
資料種別:
逐次刊行物 (A)
記事区分:
短報
発行国:
イギリス (GBR)
言語:
英語 (EN)