Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Small changes to glossary

Browse Source
This commit is contained in:
Jip J. Dekker 2021-11-08 19:50:33 +11:00
parent 2a17d4066a
commit 2afd9c8048
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
2 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
chapters/A2_benchmark.tex
View File

@ -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

5
dekker_thesis.tex
View File

@ -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]{}