%PDF-1.4
%
1 0 obj
<>
endobj
2 0 obj
<>stream
Acrobat Distiller 10.1.5 (Windows); modified using iText® 5.3.5 ©2000-2012 1T3XT BVBA (AGPL-version)
application/pdf
10.1186/s42787-019-0021-1
Journal of the Egyptian Mathematical Society
J Egypt Math Soc, doi:10.1186/s42787-019-0021-1
A Novel SAT-solver for the Van der Waerden Numbers
Areeg Abdalla
2019-07-19T14:16:03+02:00
2019-07-16T15:28+08:00
LaTeX with hyperref package
2019-07-19T14:16:03+02:00
uuid:3e639608-b0e8-4f2e-a5f2-7d43d76cb5f2
uuid:69e14de6-5051-4e99-a36b-f058ae7bbf24
default
1
converted
uuid:7239ec61-afb4-444f-93ac-96aad6152e77
converted to PDF/A-2b
pdfToolbox
2019-07-17T18:32:06+08:00
2
B
Areeg Abdalla
http://orcid.org/0000-0002-8377-0400
Springer Nature ORCID Schema
http://springernature.com/ns/xmpExtensions/2.0/
sn
authorInfo
Bag AuthorInformation
external
Author information: contains the name of each author and his/her ORCID (ORCiD: Open Researcher and Contributor ID). An ORCID is a persistent identifier (a non-proprietary alphanumeric code) to uniquely identify scientific and other academic authors.
editorInfo
Bag EditorInformation
external
Editor information: contains the name of each editor and his/her ORCID identifier.
seriesEditorInfo
Bag SeriesEditorInformation
external
Series editor information: contains the name of each series editor and his/her ORCID identifier.
AuthorInformation
http://springernature.com/ns/xmpExtensions/2.0/authorInfo/
author
Specifies the types of author information: name and ORCID of an author.
name
Text
Gives the name of an author.
orcid
URI
Gives the ORCID of an author.
EditorInformation
http://springernature.com/ns/xmpExtensions/2.0/editorInfo/
editor
Specifies the types of editor information: name and ORCID of an editor.
name
Text
Gives the name of an editor.
orcid
URI
Gives the ORCID of an editor.
SeriesEditorInformation
http://springernature.com/ns/xmpExtensions/2.0/seriesEditorInfo/
seriesEditor
Specifies the types of series editor information: name and ORCID of a series editor.
name
Text
Gives the name of a series editor.
orcid
URI
Gives the ORCID of a series editor.
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/pdfx/1.3/
pdfx
PDF/X ID Schema
internal
ID of PDF/X standard
GTS_PDFXVersion
Text
internal
Conformance level of PDF/X standard
GTS_PDFXConformance
Text
internal
Company creating the PDF
Company
Text
internal
Date when document was last modified
SourceModified
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
3 0 obj
<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]/ColorSpace<>/Font<>>>/TrimBox[0 0 595 794]/Thumb 17 0 R/MediaBox[0 0 595 794]/BleedBox[0 0 595 794]/Annots[18 0 R 19 0 R]/Rotate 0>>
endobj
18 0 obj
<>>>
endobj
19 0 obj
<>>>
endobj
5 0 obj
<>stream
x=َ#ǑXKw
?+cB N7{k6j#
K/n\ul ɪ<"#|o/z_Ms͗/7xZtUܼ{~ݟ;t墩]-~xXn6nMS7M?2ֱ;nŝMmS`
U=#s৭V[>~~9[R ZVhAچw P>:Ei `ޔWQFh}ãߵ+>M6Mj,?% [g1xȠR07>*!uXHж?֛5`
!._uazW߾}~AJBdR|-`ِ0m,Bm6w #7
D/;/%u 5E*+xc&w{a S.b0ʻ3g]t #Vni'quuGHlw!rݶ篼_~ooho[&oVM\
cIN6N+7Ƃf~ød_KARrTmuJXB"F1vqmWjHpjW?:Ѿ,mZx3l[ɋ180v-|{̃2]R /5k *|IrRg/0% X"7+d8[nƝ>WF:בCƳK wYʈdn,GyE1FP'bLC2~@r!_Q5