From c3c54f5c5aa65e33a52a16c0883fd3b5dab35e4d Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Mon, 26 Jul 2021 18:08:32 +1000 Subject: [PATCH] Small changes --- chapters/2_background_preamble.tex | 2 +- chapters/6_conclusions.tex | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/chapters/2_background_preamble.tex b/chapters/2_background_preamble.tex index a62d103..499da54 100644 --- a/chapters/2_background_preamble.tex +++ b/chapters/2_background_preamble.tex @@ -14,7 +14,7 @@ This is followed by a brief overview of other closely related \glspl{trs}. Finally, the chapter analyses the existing approach to \gls{rewriting} \minizinc{} and discusses its limitations. The overview of \cmls{} presented in this chapter supports the research and discussion presented in subsequent chapters. -In the remainder of this chapter we first, in \cref{sec:back-intro} introduce the reader to \cmls{} and their purpose. +In the remainder of this chapter, we first introduce the reader to \cmls{} and their purpose. \Cref{sec:back-minizinc} summarizes the syntax and functionality of \minizinc{}, the \cml{} used within this thesis. In \cref{sec:back-solving} we discuss how \gls{cp}, \gls{mip}, and \gls{sat} are used to solve a \gls{slv-mod}. \Cref{sec:back-other-languages} introduces alternative \cmls{} and compares their functionality to \minizinc{}. diff --git a/chapters/6_conclusions.tex b/chapters/6_conclusions.tex index a9acaf3..b559ae9 100644 --- a/chapters/6_conclusions.tex +++ b/chapters/6_conclusions.tex @@ -118,7 +118,7 @@ Although this method requires \solvers{} to be slightly extended, it eliminates Only a single \gls{slv-mod} is created. The changes to the \gls{slv-mod} are iteratively applied within the \solver{}. -In our experiments, we have shown that his method is highly effective. +In our experiments, we have shown that this method is highly effective. Even compared to an ``oracle'' approach, where the changes are merely read and not computed, this approach is only slightly slower. Meanwhile, the time required to rewrite the \gls{meta-optimization} descriptions is negligible.