%PDF-1.3
%
148 0 obj
<><><>]/ON[152 0 R]/Order[]/RBGroups[]>>/OCGs[152 0 R 169 0 R]>>/OpenAction 153 0 R/OutputIntents[145 0 R]/PageLabels 143 0 R/PageLayout/SinglePage/Pages 17 0 R/Type/Catalog/ViewerPreferences<>>>
endobj
151 0 obj
<>/Font<>>>/Fields 157 0 R>>
endobj
147 0 obj
<>stream
application/pdf
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
Synthesis of Solutions for Shaded Area Geometry Problems
Copyright© 2017 Association for the Advancement of Artificial Intelligence
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference
General Conference Track
2017-04-06T17:20:03-07:00
TeX
2017-04-20T12:40:24-07:00
2017-04-20T12:40:24-07:00
General Conference Track
Acrobat Distiller 15.0 (Macintosh)
PDF/X-1a:2001
PDF/X-1:2001
False
PDF/X-1a:2001
PDF/X-1:2001
PDF/X-1:2001
1
uuid:e451567d-5fb5-524a-b56b-6991d3d0c595
uuid:d13e4f21-3814-554a-91fb-52c8fef9f771
True
http://www.aaai.org
endstream
endobj
153 0 obj
<>
endobj
143 0 obj
<>
endobj
17 0 obj
<>
endobj
2 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
18 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
29 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
40 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
44 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
185 0 obj
<>stream
HOF:jArX`ݒ 8ml|mD"z$Z^24U~Uze3WW^ڔx-I\d<_Yu3%V߭uPlH|>+$.$6m}'OZlj#y=0T>{\ؑzg8y#g>,@Z}prtz}ԛ~Opݦ-p=/Sb|?ulb(K0\e.NX<{~6
߹y
ݏoWwnŮe֭w?g_W[SbS=4|&W_V'Olv!_[BRß/:٭{LSE`b{-gLߤ_F^:vY5'F^^Tf?;v+o|K.#`.!5PԵ=Apkץ>1r-#l9}A^Ծِ-BW;Xĭ֝Em5kNкa+~eVK\u3ɫbgX暟auC"/^A֕e^y2.Zy@W\
lYwu
ysVuE%G[KӭPW\zvZY}֎bӄ7\SZZWY
XlIp=ur=n~TfuW89~4ЋַhC"Wr2;=s0"Bk\K`(=?'NdC(ԉIj5wT(Y
ͬeu1
_w3^m@/ZNk6B ~{cЕ>Լ&/Z2הR_2L
M]3'^_;{U]
̼($r-N;Z#SWIj`抯=;3khEm*60Xkfcϝ5d(m:F}ؕY$ɎDq: 32D̤XDh֒/G|*D>m0{8|
h[zCk`ЋZwGCdbBujhfՖ\5jh8Tl]k`):cGsݣnz/cg4tMl;:i:L9wKww.l^y9w/_{z)u/C9./迿W86kn|Xswۗ=
xQDjWd ;qdOoԎS*Կ6W;<G@9߰_A*mm'WO\o;2x gJ)@b&/#\)H&7\K<\pou۲->Mȥ+
}'v)WK8(]hNfs`SA3\PǙذ̋ҋJD+Է?v7cG-ډL64D,vͳj]ʁ6ѽ
]60l`蚯=8ݨE]64nhߋޟ v|h1q7'kyr0Cm`蚷c`Tl5FTl]k`Zd<5Ekކ
}c[٘K,w$or2f*͇!\B&ZO&<6?z1gVhQ4gչ욿h974oKgmϑЋZ,u;ޖ2ScZOmK^wJjc%nJЋZgΨغ'Wx
A