Jip Dekker's PhD Thesis
dekker.one
1\documentclass[
2% TODO: book format
3% paper=210mm:148mm,
4% DIV=calc,
5a4paper,
6listof=totoc,
7toc=bib,
8]{scrreprt}
9
10\title{Preamble of A Modern Architecture for Constraint Modelling Languages}
11\author{Jip J. Dekker}
12
13\input{assets/packages}
14\input{assets/layout}
15\input{assets/shorthands}
16
17% Bibliography preamble
18\addbibresource{assets/bibliography/references.bib}
19\addbibresource[label=ownpubs]{assets/bibliography/dekker_publications.bib}
20
21% Glossary / Acronym preamble
22\input{assets/glossary}
23\input{assets/acronyms}
24
25\begin{document}
26
27% \frontmatter{}
28
29\include{chapters/0_abstract}
30
31% \mainmatter{}
32
33\include{chapters/1_introduction}
34
35\chapter{Background}\label{ch:background}
36\input{chapters/2_background_preamble}
37\chapter{Rewriting Constraint Modelling Languages}\label{ch:rewriting}
38\input{chapters/3_rewriting_preamble}
39\chapter{Reasoning about Reification}\label{ch:half-reif}
40\input{chapters/4_half_reif_preamble}
41\chapter{Incremental Processing}\label{ch:incremental}
42\input{chapters/5_incremental_preamble}
43
44\include{chapters/6_conclusions}
45
46\end{document}