diff --git a/chapters/A2_benchmark.tex b/chapters/A2_benchmark.tex index 8ee5b0e..9c9a76f 100644 --- a/chapters/A2_benchmark.tex +++ b/chapters/A2_benchmark.tex @@ -33,7 +33,7 @@ This repository contains the \gls{rewriting} and recursive function benchmarks. This repository contains both the benchmark for the \gls{chuffed} \glspl{propagator} of \gls{half-reif} \constraints{} and the \minizinc{} Challenge 2019 \& 2020 benchmark. -\paragraph{Restarting Meta-Search} Finally, the design of the experiments for restart based \gls{meta-optimization} can be found on the following webpage. +\paragraph{Restart Based Meta-Optimization} Finally, the design of the experiments for restart based \gls{meta-optimization} can be found on the following webpage. \begin{center} \url{https://github.com/Dekker1/on-restart-benchmarks} @@ -95,7 +95,7 @@ In this thesis we use three different versions of the \gls{chuffed} \solver{}. \url{https://github.com/Dekker1/chuffed/tree/feature/imp_globals} \end{center} - \item An extension of \gls{chuffed} that includes \glspl{propagator} for restart-based meta-search. + \item An extension of \gls{chuffed} that includes \glspl{propagator} for restart-based \gls{meta-optimization}. The source code for this version can be found on the following webpage. \begin{center} \url{https://github.com/Dekker1/chuffed/tree/feature/on_restart} @@ -121,19 +121,19 @@ In this thesis we use four different versions of the \gls{gecode} solver. \url{https://github.com/Gecode/gecode/tree/release-6.3.0} \end{center} - \item An extension of \gls{gecode} that includes \glspl{propagator} for restart-based meta-search. + \item An extension of \gls{gecode} that includes \glspl{propagator} for restart-based \gls{meta-optimization}. The source code for this version can be found on the following webpage. \begin{center} \url{https://github.com/Dekker1/gecode/tree/feature/on_restart} \end{center} - \item An extension of \gls{gecode} that is able to record the search process of restart-based meta-search. + \item An extension of \gls{gecode} that is able to record the search process of restart-based \gls{meta-optimization}. The source code for this version can be found on the following webpage. \begin{center} \url{https://github.com/Dekker1/gecode/tree/feature/on_restart_record} \end{center} - \item An extension of \gls{gecode} that is able to replay the search process of restart-based meta-search. + \item An extension of \gls{gecode} that is able to replay the search process of restart-based \gls{meta-optimization}. The source code for this version can be found on the following webpage. \begin{center} \url{https://github.com/Dekker1/gecode/tree/feature/on_restart_replay} @@ -170,7 +170,7 @@ A repository of all \minizinc{} models previously used in the challenges and acc \end{center} The \gls{rewriting} experiment presented in \cref{sec:rew-experiments} use a selection of seventeen models originating from the \minizinc{} challenge. -These models can identified using the following labels. +These models can be identified using the following labels. \begin{multicols}{3} \ttfamily diff --git a/dekker_thesis.tex b/dekker_thesis.tex index 3337553..f285ef6 100644 --- a/dekker_thesis.tex +++ b/dekker_thesis.tex @@ -19,8 +19,8 @@ toc=bib, \addbibresource[label=ownpubs]{assets/bibliography/dekker_publications.bib} % Glossary / Acronym preamble -\input{assets/glossary} -\input{assets/acronyms} +\loadglsentries{assets/glossary} +\loadglsentries{assets/acronyms} \begin{document} @@ -159,6 +159,7 @@ Above all, I cannot begin to express my thanks to Caitlin, who provided me with % -- Glossary \renewcommand{\glsnamefont}[1]{\titlecap{#1}} +\glsaddallunused{} \defglsentryfmt[main]{\textit{\glsgenentryfmt}} \printglossary[style=altlistgroup]{}