%PDF-1.3
%
140 0 obj
<>/OCGs[143 0 R]>>/OutputIntents[137 0 R]/PageLabels 135 0 R/Pages 22 0 R/Type/Catalog>>
endobj
142 0 obj
<>/Font<>>>/Fields 147 0 R>>
endobj
139 0 obj
<>stream
2016-01-23T19:16:27-08:00
TeX
2016-01-31T20:16:18-08:00
2016-01-31T20:16:18-08:00
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015) kpathsea version 6.2.1
PDF/X-1a:2001
PDF/X-1:2001
Acrobat Distiller 15.0 (Macintosh)
False
Technical Papers: Knowledge Representation and Reasoning
PDF/X-1a:2001
PDF/X-1:2001
application/pdf
Simone Bova
SDDs Are Exponentially More Succinct than OBDDs
Copyright(C) 2016, Association for the Advancement of Artificial Intelligence
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
Technical Papers: Knowledge Representation and Reasoning
True
http://www.aaai.org
uuid:022ea1c8-a2e3-934c-a8b0-61d98badbbb2
uuid:61df5430-4f86-1f4a-8ce9-4bfcd24729e4
1
PDF/X-1:2001
endstream
endobj
135 0 obj
<>
endobj
22 0 obj
<>
endobj
2 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
23 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
28 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
35 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
38 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
41 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
45 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
166 0 obj
<>stream
HWrF}Wqe!s-y,;k'r\wUB"b`p"n)9)q=xgwzffFGZ?GybYg"b7u;7Zz0?>UX.u_knM;6jŋynxvUM9mxGc1i4gsʢiZ9ofoi7'F"j2@D0+bi?Z%_ʪmgS/.b̗Uc%;%$ZT;7L0nABaD)V);_~3\Dk7['d$Juvt2J0.ޱMb]]
(Wf9xma]jS߭__n;<[U9[k̉' }4ۛ *d߮=l,Yl;جe"XV5O]7Et٘-*(qLP5{ثU[ѥX|ZX}@M
CTi8^ϴ<1IIO/juUꆟ[Έ(3]E>\cYQS[2"Y
4$C7#]U nj8!SKvKW/[Ηw$eqTpFڱ98SVwE,Ie4j"jf⁾Wmy'軩
X2%ܚGpQ,(NE+v2#^3:;&l6?Sz$W@ZrʭP{}6.M(1nW
y9 A *F4vE8r Q (X)dL1'mld3Q>$W`-pZ~gZ8#[S0p-%ה.O}hjoŗດr4|W5U}YU]K"t
1
Gk NY2]lB~!V+UtdžzjjL_
>.Ar+ԃuEU+QARI0(*0}.Ta?պrҾ`yl+wm r_Ć}!r3uŠ}H\s5ZH]TBD
7GX]˺ji(J|T/H%zל^X;Dqli/WX"u+=Г%PXh7(tnuvQذE jPyzAY7{xKU4_癡'aνV-&<g- FdB4]ꫠ"K+RۺqwY%j:1ȴZ|6.##؇᧹U[5G"jn1G ~\t*#>G[K>[NmHt\D#s5AImi+0'rEXwtNfcH&\F8Sjj'[sKO WR/c>U7%LM̥OoX)?z ]tE^fSIxM%+v볋B7(V=F&-pv{0iڍ*O!w{}5&Cs?R 'q4<Κ(T.^b)97,QyA|;Ga0I)+D⠎nru
Z].. 8Km(d\YDwm%Yd<"<~qDXD@uQC)USf@izt/@|"^o8wc*jo?3P@! G:!Ek}Ԋ}:9U.^G~|,c lʸ*?ƺaԋ:W9/y˿ +Z%8uJJD#v':Duv욀B|<9Q01ݔJo\~R>{tI($g(Jn`g}OI(%j1QHF(L7c'dKfה'!*cd Ml<H^:G350g i^_^~/Oy5'ndw
nTxxnv'V@D2_>-RhN)"xw\SZ֮B\LJ{Ȉ{_IoV(xE8[