文献
J-GLOBAL ID:201802277222238731
整理番号:18A0344238
強い部分的クローンと時間計算量SAT問題【Powered by NICT】
Strong partial clones and the time complexity of SAT problems
著者 (4件):
Jonsson Peter
(Department of Computer and Information Science, Linkopings Universitet, Sweden)
,
Lagerkvist Victor
(Institut fuer Algebra, TU Dresden, Dresden, Germany)
,
Nordh Gustav
(Kvarnvaegen 6, 53374, Haellekis, Sweden)
,
Zanuttini Bruno
(GREYC, Normandie Universite, UNICAEN, CNRS, ENSICAEN, France)
資料名:
Journal of Computer and System Sciences
(Journal of Computer and System Sciences)
巻:
84
ページ:
52-78
発行年:
2017年
JST資料番号:
B0861A
ISSN:
0022-0000
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)