文献
J-GLOBAL ID:201502212689883776
整理番号:15A0194690
高密度深さ2閾値回路のあるクラスに関する充足可能性アルゴリズム
A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits
著者 (2件):
AMANO Kazuyuki
(Dep. of Computer Sci., Gunma Univ.)
,
SAITO Atsushi
(Dep. of Computer Sci., Gunma Univ.)
資料名:
IEICE Transactions on Information and Systems (Web)
(IEICE Transactions on Information and Systems (Web))
巻:
E98.D
号:
1
ページ:
108-118 (J-STAGE)
発行年:
2015年
JST資料番号:
U0469A
ISSN:
1745-1361
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)