137 lines
3.3 KiB
TeX
137 lines
3.3 KiB
TeX
\documentclass[
|
|
% TODO: book format
|
|
% paper=210mm:148mm,
|
|
% DIV=calc,
|
|
a4paper,
|
|
listof=totoc,
|
|
toc=bib,
|
|
]{scrbook}
|
|
|
|
\title{A Modern Architecture for Constraint Modelling Languages}
|
|
\author{Jip J. Dekker}
|
|
|
|
\input{assets/packages}
|
|
\input{assets/layout}
|
|
\input{assets/shorthands}
|
|
|
|
% Bibliography preamble
|
|
\addbibresource{assets/bibliography/references.bib}
|
|
\addbibresource[label=ownpubs]{assets/bibliography/dekker_publications.bib}
|
|
|
|
% Glossary / Acronym preamble
|
|
\input{assets/glossary}
|
|
\input{assets/acronyms}
|
|
|
|
\begin{document}
|
|
|
|
\frontmatter{}
|
|
|
|
\pdfbookmark{Title Page}{title}
|
|
\begin{titlepage}
|
|
\begin{center}
|
|
\includegraphics[width=1\linewidth]{assets/img/monash-university-logo}
|
|
\vspace{2cm}
|
|
|
|
{%
|
|
\usekomafont{title}{%
|
|
\Huge%
|
|
A Modern Architecture for \\Constraint Modelling Languages%
|
|
\par
|
|
}%
|
|
}
|
|
\vspace{2em}
|
|
{%
|
|
\usekomafont{author}{%
|
|
Jip J. Dekker\par
|
|
}%
|
|
}
|
|
\vspace{3em}
|
|
{
|
|
Master of Computer Science,\\ Uppsala University, Uppsala, Sweden \par
|
|
}
|
|
\vspace{1em}
|
|
{
|
|
Bachelor of Computing Science,\\ Radboud University, Nijmegen, The Netherlands \par
|
|
}
|
|
|
|
\vfill
|
|
A thesis submitted for the degree of Doctor of Philosophy at\par
|
|
Monash University in \the\year{}\par
|
|
Dept.\ of Data Science and AI, Faculty of IT
|
|
\end{center}
|
|
\end{titlepage}
|
|
|
|
|
|
\hspace{0pt}
|
|
\vfill
|
|
\begin{center}
|
|
{\Large \textcopyright\ Jip J. Dekker \the\year{}}\par
|
|
\vspace{2em}
|
|
|
|
I certify that I have made all reasonable efforts to secure copyright permissions for third-party content included in this thesis and have not knowingly added copyright content to my work without the owner's permission.
|
|
|
|
\end{center}
|
|
\vfill
|
|
\pagebreak
|
|
|
|
\defglsentryfmt[main]{\glsgenentryfmt}
|
|
\include{chapters/0_abstract}
|
|
|
|
\chapter{Declaration}
|
|
|
|
This thesis is an original work of my research and contains no material which has been accepted for the award of any other degree or diploma at any university or equivalent institution and that, to the best of my knowledge and belief, this thesis contains no material previously published or written by another person, except where due reference is made in the text of the thesis.
|
|
|
|
\vspace{5em}
|
|
|
|
\makebox[2in]{\dotfill}\par
|
|
\hspace{0.6em}Jip J. Dekker\par
|
|
\vspace{1em}
|
|
\hspace{0.5em}Date: \today
|
|
|
|
\chapter{Publications}
|
|
|
|
Some ideas and figures included in this thesis have previously appeared in the following publication:
|
|
|
|
\begin{refsection}[ownpubs]
|
|
\small
|
|
\nocite{*} % is local to to the enclosing refsection
|
|
\printbibliography[heading=none]
|
|
\end{refsection}
|
|
|
|
\chapter{Acknowledgements}
|
|
|
|
\defglsentryfmt[main]{\ifglsused{\glslabel}{\glsgenentryfmt}{\textit{\glsgenentryfmt}}}
|
|
\glsresetall{}
|
|
|
|
\mainmatter{}
|
|
\include{chapters/1_introduction}
|
|
\include{chapters/2_background}
|
|
\include{chapters/3_rewriting}
|
|
\include{chapters/4_half_reif}
|
|
\include{chapters/5_incremental}
|
|
\include{chapters/6_conclusions}
|
|
|
|
\appendix{}
|
|
\include{chapters/A1_minizinc_grammar}
|
|
\include{chapters/A2_benchmark}
|
|
|
|
\backmatter{}
|
|
\printbibliography{}
|
|
|
|
% -- Acronyms
|
|
\printglossary[nonumberlist,type=\acronymtype]{}
|
|
|
|
% -- Glossary
|
|
\renewcommand{\glsnamefont}[1]{\titlecap{#1}}
|
|
\defglsentryfmt[main]{\textit{\glsgenentryfmt}}
|
|
\printglossary[style=altlistgroup]{}
|
|
|
|
\cleardoublepage
|
|
\pdfbookmark{\contentsname}{Contents}
|
|
\tableofcontents{}
|
|
% \listoffigures{}
|
|
% \listoftables{}
|
|
% \listoflistings{}
|
|
|
|
\end{document}
|