%PDF-1.4
%
189 0 obj
<>/OCGs[192 0 R]>>/OutputIntents[186 0 R]/PageLabels 184 0 R/Pages 19 0 R/Type/Catalog>>
endobj
191 0 obj
<>/Font<>>>/Fields 196 0 R>>
endobj
188 0 obj
<>stream
2017-01-21T20:06-08:00
TeX
2017-01-22T22:29:39-08:00
2017-01-22T22:29:39-08:00
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) kpathsea version 6.2.2
Acrobat Distiller 15.0 (Macintosh)
False
Search and Constraint Satisfaction
application/pdf
Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Andrew M. Sutton
Phase Transitions for Scale-Free SAT Formulas
Copyright© 2017 Association for the Advancement of Artificial Intelligence
Proceedings of the the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
Search and Constraint Satisfaction
True
http://www.aaai.org
uuid:095fc176-7603-ba48-b2e2-33fe5204c986
uuid:23590509-9ef7-1347-959e-796aef2c485d
1
B
endstream
endobj
184 0 obj
<>
endobj
19 0 obj
<>
endobj
2 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
20 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
26 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
36 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
42 0 obj
<>/Font<>/ProcSet[/PDF/Text]/Shading<>/XObject<>>>/Type/Page>>
endobj
73 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
76 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
215 0 obj
<>stream
HWr8}W܊1ĝ>)d+x53eolqBZJ&=PDI҃@ l}~;{?nӋO3]_1FsE0fRQi3
s1[#m[m{vͰh&LܛiP0I3
LJ[U9=SBM'&.">n,Ҕ|ɥ4Mpܬ-KQ.jr4ylZ7PdUt]pI&LV3[yVN*>tOm"%i.`^Μn#v'(WBvS2|99rmr3_qQ
kyªI0liz)n*%Soq>
DK\59*jgw\l=qsXZ`DZNpA3NeV3j8˃k[t`;;2/](AEm
>$1AfᩬpI",\Eދ0A(C\0$:x2|8ûι2ΣCNTfeaJ ~A=>3f!`3>aǒA)pDW.A`~M1
8
jfoڈ|@Z KeQ]Ag>~y:$T}y_V$;xM7
RvXTPT0G>.:`0!!