Some small glossary changes

This commit is contained in:
Jip J. Dekker 2021-06-29 12:57:03 +10:00
parent 7c68da1447
commit d6ca88584c
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3

View File

@ -11,7 +11,7 @@
\newglossaryentry{aggregation}{
name={constraint aggregation},
description={This technique combines many smaller \glspl{constraint} into a one or, by exception, a few larger \glspl{constraint}},
description={A technique that combines many smaller \glspl{constraint} into a one or, by exception, a few larger \glspl{constraint}},
}
\newglossaryentry{gls-ampl}{
@ -31,7 +31,7 @@
\newglossaryentry{gls-ast}{
name={Abstract Syntax Tree},
description={},
description={A tree structure representing the syntactic structure of a piece of computer language. These structures are often used in a \gls{compiler} or \gls{interpreter}},
}
\newglossaryentry{annotation}{
@ -334,12 +334,16 @@
\newglossaryentry{minizinc}{
name={Mini\-Zinc},
description={},
description={
The primary \gls{cml} studied in this thesis.
MiniZinc is the successor to \gls{zinc} introduced in 2007 \autocite{nethercote-2007-minizinc}.
An open-source implementation of the language is available \autocite{minizinc-2021-minizinc}
},
}
\newglossaryentry{normal-form}{
name={normal form},
description={},
description={A \gls{trs} has reached its normal form when no more rewriting rules can be applied},
}
\newglossaryentry{gls-mip}{
@ -452,7 +456,7 @@
\newglossaryentry{propagator}{
name={propagator},
description={},
description={An algorithm that perform \gls{propagation} for a \gls{constraint}},
}
\newglossaryentry{qcp-max}{