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

Remove mention of flattener

Browse Source
This commit is contained in:
Jip J. Dekker 2021-07-27 14:47:42 +10:00
parent 91d264597c
commit 3f5b093944
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
2 changed files with 14 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
chapters/A2_benchmark.tex
View File

@ -23,7 +23,7 @@ Each part is published as a Git repository on GitHub.
\url{file://TODO}
\end{center}
This repository contains the flattening, recursive function, and the incremental flattening benchmarks.
This repository contains the \gls{rewriting} and recursive function benchmarks.
\paragraph{Half-Reification} The design for all the \gls{half-reif} experiments is located in:
@ -46,15 +46,15 @@ This repository contains the benchmarks for both \gls{gecode} and \gls{chuffed}.
\label{sec:bench-soft}
Central to the experiments in this thesis are two kinds of programs: programs that rewrite a \constraint{} model into a \solver{} specification and the \solvers{} that given a specification search for \glspl{sol}.
We generally test the rewriting programs, in particular the \minizinc{} flattener, but use the \solvers{} to evaluate the effect of changes to these rewriting programs.
We generally test the rewriting programs, in particular to rewrite \minizinc{} \instances{} to \flatzinc{} , but use the \solvers{} to evaluate the effect of changes to these rewriting programs.
\subsection{MiniZinc Flattener}
\subsection{MiniZinc Rewriting}
In this thesis we use three different versions of the \minizinc\ flattening tool:
In this thesis we use three different programs to rewrite \minizinc{} to \flatzinc{}:
\begin{itemize}
\item The officially released MiniZinc flattener (version 2.5.5) \autocite{minizinc-2021-minizinc}.
\item The officially release of MiniZinc (version 2.5.5) \autocite{minizinc-2021-minizinc}.
The source code for this version can be found here:
\begin{center}
\url{https://github.com/MiniZinc/libminizinc/tree/2.5.5}
@ -66,7 +66,7 @@ In this thesis we use three different versions of the \minizinc\ flattening tool
\url{file://TODO}
\end{center}
\item The official MiniZinc flattener (version 2.5.5) \autocite{minizinc-2021-minizinc}, adjusted with the restart-based mechanisms.
\item The official MiniZinc release (version 2.5.5) \autocite{minizinc-2021-minizinc}, adjusted to support \gls{rbmo}.
The source code for this version can be found here:
\begin{center}
\url{https://github.com/Dekker1/libminizinc/tree/feature/on_restart}
@ -169,7 +169,7 @@ A repository of all \minizinc{} models previously used in the challenges and acc
\url{https://github.com/minizinc/minizinc-benchmarks}
\end{center}
The flattening experiment presented in \cref{sec:rew-experiments} use a selection of seventeen models originating from the \minizinc{} challenge.
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:
\begin{multicols}{3}

14
dekker_thesis.tex
View File

@ -100,6 +100,13 @@ toc=bib,
\chapter{Acknowledgements}
\cleardoublepage
\pdfbookmark{\contentsname}{Contents}
\tableofcontents{}
% \listoffigures{}
% \listoftables{}
% \listoflistings{}
\defglsentryfmt[main]{\ifglsused{\glslabel}{\glsgenentryfmt}{\textit{\glsgenentryfmt}}}
\glsresetall{}
@ -126,11 +133,4 @@ toc=bib,
\defglsentryfmt[main]{\textit{\glsgenentryfmt}}
\printglossary[style=altlistgroup]{}
\cleardoublepage
\pdfbookmark{\contentsname}{Contents}
\tableofcontents{}
% \listoffigures{}
% \listoftables{}
% \listoflistings{}
\end{document}