Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$ (Q2974776)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$ |
scientific article |
Statements
Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$ (English)
0 references
11 April 2017
0 references
constraint solving
0 references
alldifferent constraint
0 references
linear constraints
0 references
bound consistency
0 references