文献
J-GLOBAL ID:201702227802019774
整理番号:17A1385483
ランダム3CNFのための空間証明複雑性【Powered by NICT】
Space proof complexity for random 3-CNFs
著者 (6件):
Bennett Patrick
(Mathematics Department, Western Michigan University, United States)
,
Bonacina Ilario
(School of Computer Science and Communication KTH Royal Institute of Technology, Sweden)
,
Galesi Nicola
(Computer Science Department, Sapienza University of Rome, via Salaria 113, 00198 Rome, Italy)
,
Huynh Tony
(Department of Mathematics, Universite Libre de Bruxelles, Boulevard du Triomphe, B-1050 Brussels, Belgium)
,
Molloy Mike
(Computer Science Department, University of Toronto, 10 Kings College Road, M5S 3G4 Toronto, Canada)
,
Wollan Paul
(Computer Science Department, Sapienza University of Rome, via Salaria 113, 00198 Rome, Italy)
資料名:
Information and Computation
(Information and Computation)
巻:
255
号:
P1
ページ:
165-176
発行年:
2017年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)