diff --git a/chapters/2_background.tex b/chapters/2_background.tex index d1eda5d..a7a113a 100644 --- a/chapters/2_background.tex +++ b/chapters/2_background.tex @@ -1,3 +1,3 @@ %************************************************ -\chapter{The Principles of Constraint Modelling Languages}\label{ch:background} +\chapter{Modelling with Constraints}\label{ch:background} %************************************************ diff --git a/chapters/4_compilation.tex b/chapters/4_compilation.tex deleted file mode 100644 index de36cb3..0000000 --- a/chapters/4_compilation.tex +++ /dev/null @@ -1,4 +0,0 @@ -%************************************************ -\chapter{Compiling Constraint Modelling Languages}\label{ch:compilation} -%************************************************ -% TODO: I do not really like this title yet diff --git a/chapters/4_rewriting.tex b/chapters/4_rewriting.tex new file mode 100644 index 0000000..0f1c14d --- /dev/null +++ b/chapters/4_rewriting.tex @@ -0,0 +1,3 @@ +%************************************************ +\chapter{Rewriting Constraint Modelling Languages}\label{ch:rewriting} +%************************************************ diff --git a/dekker_thesis.tex b/dekker_thesis.tex index 8151a7e..701d57d 100644 --- a/dekker_thesis.tex +++ b/dekker_thesis.tex @@ -1,5 +1,8 @@ \nonstopmode{} -\documentclass{scrbook} +\documentclass[ +paper=9in:6in, +DIV=calc, +]{scrbook} \title{A Modern Architecture for High-Level Constraint Modelling Languages} \author{Jip J. Dekker} @@ -35,7 +38,7 @@ Publications arising from this thesis include: \include{chapters/1_introduction} \include{chapters/2_background} \include{chapters/3_paradigms} -\include{chapters/4_compilation} +\include{chapters/4_rewriting} \include{chapters/5_half_reif} \include{chapters/6_incremental}