文献
J-GLOBAL ID:202002221927021604
整理番号:20A2258775
回路レベルのアメーバにヒントを得たSATソルバ【JST・京大機械翻訳】
A Circuit-Level Amoeba-Inspired SAT Solver
著者 (4件):
Takeuchi Naoki
(Institute of Advanced Sciences, Yokohama National University, Yokohama, Japan)
,
Aono Masashi
(Faculty of Environment and Information Studies, Keio University, Fujisawa, Japan)
,
Hara-Azumi Yuko
(School of Engineering, Tokyo Institute of Technology, Tokyo, Japan)
,
Ayala Christopher L.
(Institute of Advanced Sciences, Yokohama National University, Yokohama, Japan)
資料名:
IEEE Transactions on Circuits and Systems 2: Express Briefs
(IEEE Transactions on Circuits and Systems 2: Express Briefs)
巻:
67
号:
10
ページ:
2139-2143
発行年:
2020年
JST資料番号:
W0347A
ISSN:
1549-7747
CODEN:
ITCSFK
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)