文献
J-GLOBAL ID:201502299332805023
整理番号:15A0255156
一般におけるppszホールドに対する3-SATのより速く,より簡単なユニークなSATの境界
3-SAT FASTER AND SIMPLER-UNIQUE-SAT BOUNDS FOR PPSZ HOLD IN GENERAL
著者 (1件):
HERTLI TIMON
(ETH Zuerich, Zuerich, CHE)
資料名:
SIAM Journal on Computing (Society for Industrial and Applied Mathematics)
(SIAM Journal on Computing (Society for Industrial and Applied Mathematics))
巻:
43
号:
2
ページ:
718-729
発行年:
2014年
JST資料番号:
D0944A
ISSN:
0097-5397
CODEN:
SMJCAT
資料種別:
逐次刊行物 (A)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)