47 lines
1.0 KiB
TeX
47 lines
1.0 KiB
TeX
\documentclass[
|
|
% TODO: book format
|
|
% paper=210mm:148mm,
|
|
% DIV=calc,
|
|
a4paper,
|
|
listof=totoc,
|
|
toc=bib,
|
|
]{scrreprt}
|
|
|
|
\title{Preamble of 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{}
|
|
|
|
\include{chapters/0_abstract}
|
|
|
|
% \mainmatter{}
|
|
|
|
\include{chapters/1_introduction}
|
|
|
|
\chapter{Background}\label{ch:background}
|
|
\input{chapters/2_background_preamble}
|
|
\chapter{Rewriting Constraint Modelling Languages}\label{ch:rewriting}
|
|
\input{chapters/3_rewriting_preamble}
|
|
\chapter{Reasoning about Reification}\label{ch:half-reif}
|
|
\input{chapters/4_half_reif_preamble}
|
|
\chapter{Incremental Processing}\label{ch:incremental}
|
|
\input{chapters/5_incremental_preamble}
|
|
|
|
\include{chapters/6_conclusions}
|
|
|
|
\end{document}
|