%PDF-1.4
%
5991 0 obj
<>]/PageLabels<>2<>10<>]>>/PageMode/UseOutlines/Pages 5693 0 R/Type/Catalog>>
endobj
21 0 obj
<>stream
pdfTeX
application/pdf
Towards Next Generation Sequential and Parallel SAT Solvers
Norbert Manthey
pdfTeX
2015-01-06T20:56:50+01:00
2015-01-06T20:56:50+01:00
2015-01-06T20:53:31+01:00
uuid:d83127a0-cddc-407b-8814-02ef373b90f7
uuid:b452edcb-741d-467a-82ba-c50fb66f1a5a
default
1
1
B
http://ns.adobe.com/pdf/1.3/
pdf
Adobe PDF Schema
internal
A name object indicating whether the document has been modified to include trapping information
Trapped
Text
http://ns.adobe.com/xap/1.0/mm/
xmpMM
XMP Media Management Schema
internal
UUID based identifier for specific incarnation of a document
InstanceID
URI
internal
The common identifier for all versions and renditions of a document.
OriginalDocumentID
URI
http://www.aiim.org/pdfa/ns/id/
pdfaid
PDF/A ID Schema
internal
Part of PDF/A standard
part
Integer
internal
Amendment of PDF/A standard
amd
Text
internal
Conformance level of PDF/A standard
conformance
Text
endstream
endobj
5990 0 obj
<>
endobj
554 0 obj
<>
endobj
5694 0 obj
<>
endobj
5693 0 obj
<>
endobj
5691 0 obj
<>
endobj
5692 0 obj
<>
endobj
5687 0 obj
<>
endobj
5688 0 obj
<>
endobj
5689 0 obj
<>
endobj
5690 0 obj
<>
endobj
5364 0 obj
<>
endobj
5407 0 obj
<>
endobj
5432 0 obj
<>
endobj
5470 0 obj
<>
endobj
5503 0 obj
<>
endobj
5500 0 obj
<>
endobj
5505 0 obj
<>
endobj
5510 0 obj
<>
endobj
5514 0 obj
<>
endobj
5515 0 obj
<>stream
xڍV[S6~ϯ[噵ղ(0KtvN?ɉ-u9:7}ߑD2KD[o0JH2=$RznsNd4In`Jvy=[ï\A*^һEd'AHdGxٻ//g]&_$7{"%>\;W|,#Wm<8xVV*L(j*n`OF_+֯9L1ӨV0zf*guhuU.:288ϣETP.1$w\>ɤ%2|B>ĝBۏN&NCK!=@5z7*6uΰcTMcT_h}hP$F`ANƢz:SIe