文献

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)

タイトルに関連する用語 (2件)： SAT ,  境界