文献
J-GLOBAL ID:201802234162708071
整理番号:18A0344254
裏口不均一クラスSATとCSPの【Powered by NICT】
Backdoors into heterogeneous classes of SAT and CSP
著者 (5件):
Gaspers Serge
(UNSW and NICTA, Sydney, Australia)
,
Misra Neeldhara
(Indian Institute of Science, Bangalore, India)
,
Ordyniak Sebastian
(Algorithms and Complexity group, TU Wien, Vienna, Austria)
,
Szeider Stefan
(Algorithms and Complexity group, TU Wien, Vienna, Austria)
,
Zivny Stanislav
(University of Oxford, Oxford, UK)
資料名:
Journal of Computer and System Sciences
(Journal of Computer and System Sciences)
巻:
85
ページ:
38-56
発行年:
2017年
JST資料番号:
B0861A
ISSN:
0022-0000
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)