Add a latex thesis structure

This commit is contained in:
Jip J. Dekker 2020-12-30 10:45:48 +11:00
parent b420985573
commit c72868f78b
13 changed files with 132 additions and 0 deletions

6
.latexmkrc Normal file
View File

@ -0,0 +1,6 @@
@default_files = ('dekker_thesis.tex');
$pdf_mode = 5;
$bibtex_use = 2;
$clean_ext = "%R-blx.bib %R-blx.aux";

13
Makefile Normal file
View File

@ -0,0 +1,13 @@
PROJECT=dekker_thesis
.PHONY: $(PROJECT).pdf clean clobber
$(PROJECT).pdf: $(PROJECT).tex
latexmk -use-make $<
clean:
latexmk -c
clobber:
latexmk -C

View File

@ -0,0 +1,13 @@
@inproceedings{dekker2018lns,
author = {Jip J. Dekker and Maria Garcia de la Banda and Andreas
Schutt and Peter J. Stuckey and Guido Tack},
title = {Solver-Independent Large Neighbourhood Search},
booktitle = {Principles and Practice of Constraint Programming - 24th
International Conference, {CP} 2018, Lille, France, August
27-31, 2018, Proceedings},
pages = {81--98},
year = 2018,
url = {https://doi.org/10.1007/978-3-319-98334-9\_6},
doi = {10.1007/978-3-319-98334-9\_6},
timestamp = {Thu, 13 Sep 2018 18:11:58 +0200},
}

View File

@ -0,0 +1,31 @@
@book{marriott_programming_1998,
location = {Cambridge, Mass},
title = {Programming with constraints: an introduction},
isbn = {978-0-262-13341-8},
shorttitle = {Programming with constraints},
pagetotal = {467},
publisher = {{MIT} Press},
author = {Marriott, Kim and Stuckey, Peter J.},
date = {1998},
keywords = {Constraint programming (Computer science), Logic programming},
}
@incollection{hooker_solver-independent_2018,
location = {Cham},
title = {Solver-Independent Large Neighbourhood Search},
volume = {11008},
rights = {All rights reserved},
isbn = {978-3-319-98333-2 978-3-319-98334-9},
url = {http://link.springer.com/10.1007/978-3-319-98334-9_6},
pages = {81--98},
booktitle = {Principles and Practice of Constraint Programming},
publisher = {Springer International Publishing},
author = {Dekker, Jip J. and de la Banda, Maria Garcia and Schutt, Andreas and Stuckey, Peter J. and Tack, Guido},
editor = {Hooker, John},
urldate = {2020-12-22},
date = {2018},
langid = {english},
doi = {10.1007/978-3-319-98334-9_6},
note = {Series Title: Lecture Notes in Computer Science},
}

6
assets/packages.tex Normal file
View File

@ -0,0 +1,6 @@
\usepackage{csquotes}
\usepackage[australian]{babel}
\usepackage{hyperref}
% References
\usepackage{biblatex}

3
chapters/0_abstract.tex Normal file
View File

@ -0,0 +1,3 @@
%************************************************
\chapter*{Abstract}\label{ch:abstract}
%************************************************

View File

@ -0,0 +1,3 @@
%************************************************
\chapter{Introduction}\label{ch:introduction}
%************************************************

View File

@ -0,0 +1,3 @@
%************************************************
\chapter{The Principles of Constraint Modelling Languages}\label{ch:background}
%************************************************

4
chapters/3_paradigms.tex Normal file
View File

@ -0,0 +1,4 @@
%************************************************
\chapter{Constraint Modelling Languages from Various Perspectives}\label{ch:paradigms}
%************************************************
% TODO: I do not really like this title yet

View File

@ -0,0 +1,4 @@
%************************************************
\chapter{Compiling Constraint Modelling Languages}\label{ch:compilation}
%************************************************
% TODO: I do not really like this title yet

3
chapters/5_half_reif.tex Normal file
View File

@ -0,0 +1,3 @@
%************************************************
\chapter{Mode Analysis and Half Reification}\label{ch:half_reif}
%************************************************

View File

@ -0,0 +1,3 @@
%************************************************
\chapter{Incremental Solving}\label{ch:incremental}
%************************************************

40
dekker_thesis.tex Normal file
View File

@ -0,0 +1,40 @@
\nonstopmode
\documentclass{scrbook}
\input{assets/packages.tex}
\addbibresource{assets/bibliography/references.bib}
\addbibresource[label=ownpubs]{assets/bibliography/dekker_publications.bib}
\title{A Modern Architecture for High-Level Constraint Modelling Languages}
\author{Jip J. Dekker}
\begin{document}
\frontmatter
\maketitle
\include{chapters/0_abstract}
\chapter{Publications}
Publications arising from this thesis include:
\begin{refsection}[ownpubs]
\small
\nocite{*} % is local to to the enclosing refsection
\printbibliography[heading=none]
\end{refsection}
\mainmatter
\include{chapters/1_introduction}
\include{chapters/2_background}
\include{chapters/3_paradigms}
\include{chapters/4_compilation}
\include{chapters/5_half_reif}
\include{chapters/6_incremental}
\backmatter
\printbibliography
\end{document}