diff --git a/.latexmkrc b/.latexmkrc new file mode 100644 index 0000000..e747dff --- /dev/null +++ b/.latexmkrc @@ -0,0 +1,6 @@ +@default_files = ('dekker_thesis.tex'); + +$pdf_mode = 5; +$bibtex_use = 2; + +$clean_ext = "%R-blx.bib %R-blx.aux"; diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..ab25e33 --- /dev/null +++ b/Makefile @@ -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 diff --git a/assets/bibliography/dekker_publications.bib b/assets/bibliography/dekker_publications.bib new file mode 100644 index 0000000..7d47637 --- /dev/null +++ b/assets/bibliography/dekker_publications.bib @@ -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}, +} diff --git a/assets/bibliography/references.bib b/assets/bibliography/references.bib new file mode 100644 index 0000000..66c9d37 --- /dev/null +++ b/assets/bibliography/references.bib @@ -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}, +} \ No newline at end of file diff --git a/assets/packages.tex b/assets/packages.tex new file mode 100644 index 0000000..89d9983 --- /dev/null +++ b/assets/packages.tex @@ -0,0 +1,6 @@ +\usepackage{csquotes} +\usepackage[australian]{babel} +\usepackage{hyperref} + +% References +\usepackage{biblatex} diff --git a/chapters/0_abstract.tex b/chapters/0_abstract.tex new file mode 100644 index 0000000..be46651 --- /dev/null +++ b/chapters/0_abstract.tex @@ -0,0 +1,3 @@ +%************************************************ +\chapter*{Abstract}\label{ch:abstract} +%************************************************ diff --git a/chapters/1_introduction.tex b/chapters/1_introduction.tex new file mode 100644 index 0000000..a4e2463 --- /dev/null +++ b/chapters/1_introduction.tex @@ -0,0 +1,3 @@ +%************************************************ +\chapter{Introduction}\label{ch:introduction} +%************************************************ diff --git a/chapters/2_background.tex b/chapters/2_background.tex new file mode 100644 index 0000000..d1eda5d --- /dev/null +++ b/chapters/2_background.tex @@ -0,0 +1,3 @@ +%************************************************ +\chapter{The Principles of Constraint Modelling Languages}\label{ch:background} +%************************************************ diff --git a/chapters/3_paradigms.tex b/chapters/3_paradigms.tex new file mode 100644 index 0000000..f533fd2 --- /dev/null +++ b/chapters/3_paradigms.tex @@ -0,0 +1,4 @@ +%************************************************ +\chapter{Constraint Modelling Languages from Various Perspectives}\label{ch:paradigms} +%************************************************ +% TODO: I do not really like this title yet diff --git a/chapters/4_compilation.tex b/chapters/4_compilation.tex new file mode 100644 index 0000000..de36cb3 --- /dev/null +++ b/chapters/4_compilation.tex @@ -0,0 +1,4 @@ +%************************************************ +\chapter{Compiling Constraint Modelling Languages}\label{ch:compilation} +%************************************************ +% TODO: I do not really like this title yet diff --git a/chapters/5_half_reif.tex b/chapters/5_half_reif.tex new file mode 100644 index 0000000..a473bd4 --- /dev/null +++ b/chapters/5_half_reif.tex @@ -0,0 +1,3 @@ +%************************************************ +\chapter{Mode Analysis and Half Reification}\label{ch:half_reif} +%************************************************ diff --git a/chapters/6_incremental.tex b/chapters/6_incremental.tex new file mode 100644 index 0000000..d2fa9c7 --- /dev/null +++ b/chapters/6_incremental.tex @@ -0,0 +1,3 @@ +%************************************************ +\chapter{Incremental Solving}\label{ch:incremental} +%************************************************ diff --git a/dekker_thesis.tex b/dekker_thesis.tex new file mode 100644 index 0000000..52d9428 --- /dev/null +++ b/dekker_thesis.tex @@ -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}