23 lines
1.9 KiB
TeX
23 lines
1.9 KiB
TeX
This research presented in this thesis investigates the process of \gls{rewriting} \cmls{} to address both the lack of information about this process and to improve this process to meet its modern day requirements.
|
|
This chapter provides the background necessary to understand the usage of \cmls{}:
|
|
|
|
\begin{itemize}
|
|
\item How do you create a \cmodel{}?
|
|
\item What process does a \solver{} employ to solve a \gls{slv-mod}?
|
|
\item How is an \instance{} of a \cmodel{} transformed into a \gls{slv-mod}?
|
|
\end{itemize}
|
|
|
|
In particular, it gives further information about \minizinc{} and discusses the functionality available to create \cmodels{}.
|
|
It also provides some insight into \solvers{}, discussing the most important techniques used to solve \instances{} of \cmodels{}.
|
|
Additionally, it summarises the functionality of other \cmls{} to serve as a comparison with \minizinc{}
|
|
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 will first, in \cref{sec:back-intro} introduce the reader to \cmls{} and their purpose.
|
|
\Cref{sec:back-minizinc} summarised the syntax and functionality of \minizinc{}, the leading constraint modelling language used within this thesis.
|
|
In \cref{sec:back-solving} we discuss how \gls{cp}, \gls{mip}, and \gls{sat} can be used to solve a \gls{slv-mod}.
|
|
\Cref{sec:back-other-languages} introduces alternative \cmls{} and compares their functionality to \minizinc{}.
|
|
Then, \cref{sec:back-term} survey the closely related technologies in the field of \glspl{trs}.
|
|
Finally, \cref{sec:back-mzn-interpreter} explores the process that the current \minizinc{} \interpreter{} uses to translate a \minizinc{} \instance{} into a \gls{slv-mod}.
|