%PDF-1.3
%
144 0 obj
<>/OCGs[147 0 R]>>/OutputIntents[141 0 R]/PageLabels 139 0 R/Pages 19 0 R/Type/Catalog>>
endobj
146 0 obj
<>/Font<>>>/Fields 151 0 R>>
endobj
143 0 obj
<>stream
application/pdf
Sixue Liu, Periklis A. Papakonstantinou
Local Search for Hard SAT Formulas: The Strength of the Polynomial Law
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
Technical Papers: Heuristic Search and Optimization
Copyright(C) 2016, Association for the Advancement of Artificial Intelligence
2016-01-23T19:15:46-08:00
TeX
2016-01-31T20:15:45-08:00
2016-01-31T20:15:45-08:00
Acrobat Distiller 15.0 (Macintosh)
Technical Papers: Heuristic Search and Optimization
False
PDF/X-1a:2001
PDF/X-1:2001
uuid:05169afa-99c1-8643-8edb-a09a002dc2f2
uuid:9147d1fc-c0ad-d349-90d2-5d72cd77ce25
1
True
http://www.aaai.org
PDF/X-1a:2001
PDF/X-1:2001
PDF/X-1:2001
endstream
endobj
139 0 obj
<>
endobj
19 0 obj
<>
endobj
2 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
20 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
31 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
36 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
40 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
43 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
46 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
170 0 obj
<>stream
HWYsF~ׯ#e WRUl'rk-p>Iqd6zfzfzw[u~؉+=\%^p?+zUڕW6UqiLCKt-}ZiӃY}^Wt(yX_Zθ¬{w\__9yi[>^>BKO*L*sSWY1ty]uo]>b/Bױ9.nɚXe0|= K`lfVufivϳ¤-f|8Yߘ. KHi۳vY!:1hKyI,W{BYoǪ^y*&[J <6.J56T-[Q̯9