%PDF-1.3
%
147 0 obj
<>>>
endobj
146 0 obj
<>stream
2018-06-02T14:01:41-07:00
TeX
2018-06-14T22:57:01-07:00
2018-06-14T22:57:01-07:00
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) kpathsea version 6.2.3
PDF/X-1a:2001
PDF/X-1:2001
Acrobat Distiller 17.0 (Macintosh)
False
Main Track
PDF/X-1a:2001
PDF/X-1:2001
application/pdf
Salome Eriksson, Gabriele Roeger, Malte Helmert
A Proof System for Unsolvable Planning Tasks
Copyright© 2018 Association for the Advancement of Artificial Intelligence
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling
Main Track
True
http://www.aaai.org
uuid:b1ba20de-3b47-904c-9041-460594382399
uuid:1e200e97-4305-1d45-880e-c95f0e901fde
1
PDF/X-1:2001
endstream
endobj
149 0 obj
<>
endobj
142 0 obj
<>
endobj
19 0 obj
<>
endobj
2 0 obj
<>
endobj
21 0 obj
<>
endobj
24 0 obj
<>
endobj
27 0 obj
<>
endobj
32 0 obj
<>
endobj
36 0 obj
<>
endobj
40 0 obj
<>
endobj
45 0 obj
<>
endobj
53 0 obj
<>
endobj
54 0 obj
<>stream
h[rFw)Ĥ8Wz(ʢl*_8 bs_sn(*rYn swN7_xN6ͫ77^'U&9?nIc3&>Y50YW1Rs~_I|.F)痒GWEdUW)v('oy2[sl6[-qְT.,-,d_dlS|,ҁ[HTunwܿʪtviQɑ[:(I@&>
ӹ[#y/tIaum6ʗa>ݣxyĿmʗi)RrˢőPs&)v?iں*7_i)w
my+yJAw`P*p:_r}klFSu#SMr$slU
cbŚŬu4@ۼiD\+h]tVXrǖʀp_մ,b