Index

$𝐌𝐀𝐗_𝐍𝐂𝐂$: 4.3.4.1.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$: 4.3.4.1.
$𝐌𝐈𝐍_𝐍𝐂𝐂$: 4.3.4.1.
$𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$: 4.3.4.1.
$𝐍𝐀𝐑𝐂$: 4.3.4.1.
$𝐍𝐂𝐂$: 4.3.4.1.
$𝐍𝐒𝐂𝐂$: 4.3.4.1.
$𝐍𝐒𝐈𝐍𝐊$: 4.3.4.1.
$𝐍𝐒𝐎𝐔𝐑𝐂𝐄$: 4.3.4.1.
$𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.1.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$: 4.3.4.2.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐂𝐂$: 4.3.4.2.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$: 4.3.4.6.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$: 4.3.4.6.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$: 4.3.4.2.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐂𝐂}_{1}$: 4.3.4.6.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , ${𝐍𝐂𝐂}_{2}$: 4.3.4.6.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐒𝐈𝐍𝐊$: 4.3.4.2.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$: 4.3.4.2.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$: 4.3.4.2.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐍𝐀𝐑𝐂$: 4.3.4.2.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$: 4.3.4.2.
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$: 4.3.4.2.
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐂𝐂$: 4.3.4.2.
$𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , ${𝐍𝐂𝐂}_{2}$: 4.3.4.6.
$𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐂𝐂}_{1}$: 4.3.4.6.
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
$𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐀𝐑𝐂$: 4.3.4.2.
$𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
${𝐍𝐀𝐑𝐂}_{1}$ , ${𝐍𝐀𝐑𝐂}_{2}$: 4.3.4.6.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$: 4.3.4.2.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐂𝐂$: 4.3.4.2.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐈𝐍𝐊$: 4.3.4.2.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$: 4.3.4.2.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
${𝐍𝐂𝐂}_{1}$ , ${𝐍𝐂𝐂}_{2}$: 4.3.4.6.
$𝐍𝐂𝐂$ , $𝐍𝐒𝐂𝐂$: 4.3.4.2.
$𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
$𝐍𝐒𝐂𝐂$ , $𝐍𝐒𝐈𝐍𝐊$: 4.3.4.2.
$𝐍𝐒𝐂𝐂$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$: 4.3.4.2.
$𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
$𝐍𝐒𝐈𝐍𝐊$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
$𝐍𝐒𝐎𝐔𝐑𝐂𝐄$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.2.
${𝐍𝐕𝐄𝐑𝐓𝐄𝐗}_{1}$ , ${𝐍𝐕𝐄𝐑𝐓𝐄𝐗}_{2}$: 4.3.4.6.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$: 4.3.4.7.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$: 4.3.4.7.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐂𝐂$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , ${𝐍𝐕𝐄𝐑𝐓𝐄𝐗}_{2}$: 4.3.4.7.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐕𝐄𝐑𝐓𝐄𝐗}_{1}$: 4.3.4.7.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐒𝐈𝐍𝐊$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐀𝐑𝐂$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐒𝐂𝐂$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , ${𝐍𝐀𝐑𝐂}_{2}$ , ${𝐍𝐂𝐂}_{1}$: 4.3.4.7,
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐈𝐍𝐊$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐍𝐒𝐂𝐂$ , $𝐍𝐒𝐈𝐍𝐊$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$: 4.3.4.3.
$𝐍𝐒𝐈𝐍𝐊$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.3.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐂𝐂}_{1}$: 4.3.4.8.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , ${𝐍𝐂𝐂}_{2}$: 4.3.4.8.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , ${𝐍𝐕𝐄𝐑𝐓𝐄𝐗}_{1}$: 4.3.4.8.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐕𝐄𝐑𝐓𝐄𝐗}_{2}$: 4.3.4.8.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$: 4.3.4.4.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.4.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.4.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐂𝐂$: 4.3.4.4.
$𝐌𝐀𝐗_𝐍𝐒𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐒𝐂𝐂$ , $𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.4.
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.4.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.4.
$𝐍𝐀𝐑𝐂$ , $𝐍𝐒𝐈𝐍𝐊$ , $𝐍𝐒𝐎𝐔𝐑𝐂𝐄$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.4.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐂𝐂}_{2}$: 4.3.4.9.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐂𝐂}_{1}$: 4.3.4.9.
$𝐌𝐀𝐗_𝐍𝐂𝐂$ , $𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.5.
$𝐌𝐈𝐍_𝐍𝐂𝐂$ , $𝐍𝐀𝐑𝐂$ , $𝐍𝐂𝐂$ , $𝐍𝐒𝐂𝐂$ , $𝐍𝐕𝐄𝐑𝐓𝐄𝐗$: 4.3.4.5.
$𝐌𝐀𝐗_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐀𝐗_{𝐍𝐂𝐂}_{2}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{1}$ , $𝐌𝐈𝐍_{𝐍𝐂𝐂}_{2}$ , ${𝐍𝐂𝐂}_{1}$ , ${𝐍𝐂𝐂}_{2}$: 4.3.4.10.

graph partitioning constraint

3.7.113, 5.44, 5.48, 5.49, 5.55, 5.66, 5.103, 5.104, 5.106, 5.170, 5.239, 5.315, 5.328, 5.395, 5.397, 5.400, 5.401, 5.403, 5.404, 5.405.

Graphviz

3.4.

Gresh D. L.

5.204.

Grinberg E. Ya.

5.66.

groups of values

3.7.18.

guillotine cut

3.7.114, 5.119, 5.409.

Guo Q.

3.7.49, 5.118.

Guy R. K.

3.7.243.

H

Hall interval: 3.7.115, 5.12, 5.163.
Hamiltonian: 3.7.116, 5.66, 5.401,
Hamming distance: 3.7.79.
Han Hoogeveen J. A.: 1.3.
Hansen P.: 4.3.4.3.
Hanák D.: 1.3.
Harary F.: 5.407.
hard version: 2.6.8.
Hardy G. H.: 5.137.
Harvey W.: 3.1, 5.229, 5.230, 5.231, 5.232, 5.342.
Harvey W. D.: 3.7.135, 5.121.
Hebrard E.: 1.3, 3.2, 3.6.14, 3.7.79, 4.3.4.3, 5.23, 5.37, 5.41, 5.75, 5.286, 5.333, 5.356, 5.357, 5.358, 5.359, 5.360, 5.416.
Hell P.: 5.247.
Hellsten L.: 5.61, 5.355, 5.375, 5.376.
Henriksen J. G.: 2.
Henz M.: 5.395.
Hermenier F.: 1.3, 3.6.14, 5.187.
Hernández B. M.: 3.7.44.
heuristics: 3.6.11, 3.7.117, 5.118, 5.121, 5.137, 5.139, 5.159, 5.167, 5.199, 5.200, 5.202, 5.223, 5.224, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.384.
heuristics and Berge-acyclic constraint network: 3.7.118.
heuristics and lexicographical ordering: 3.7.119, 5.223, 5.224, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232.
heuristics for two-dimensional rectangle placement problems: 3.7.120, 5.118, 5.159.
Hnich B.: 2.4.1, 3.2, 3.7.79, 4.3.4.3, 5.22, 5.23, 5.37, 5.41, 5.75, 5.219, 5.229, 5.230, 5.231, 5.232, 5.233, 5.286, 5.333, 5.378, 5.416.
Hoda S.: 2.
Hofacker I. L.: 5.343.
Hooker J. N.: 1, 2, 5.12, 5.66, 5.96, 5.140, 5.141.
Hopcroft J.: 5.66.
Hopper E.: 3.7.245.
Hougardy S.: 1.3, 3.7.182.
Huang C.: 5.245.
Hungarian method for the assignment problem: 3.7.121, 5.266.
hybrid-consistency: 3.7.122, 5.329, 5.333.
hyper arc-consistency: 3.7.12.
hypergraph: 3.7.123, 5.28, 5.33, 5.304, 5.331, 5.347, 5.348, 5.350, 5.351.
Häggkvist R.: 5.12.

I

IF/PROLOG: 3.1.
Ilog: 5.13.
Ilog CP Optimizer: 5.96, 5.126.
Ilog Solver: 3.1, 5.400.
implied by: 2.6.9.
implies: 2.6.10.
implies (if swap arguments): 2.6.11.
implies (items to collection): 2.6.12.
included: 3.7.124, 5.177, 5.183.
inclusion: 3.7.125, 5.211, 5.212, 5.213, 5.412, 5.413, 5.414, 5.415, 5.416.
incompatible pairs of values: 3.7.126, 5.20.
indexing an array by a decision variable: 3.7.14.
indistinguishable values: 3.7.127, 5.195, 5.196, 5.344.
intersection graph: 3.7.29, 3.7.118.
interval: 3.7.128, 3.7.129, 5.17, 5.25, 5.45, 5.76, 5.135, 5.178, 5.180, 5.197, 5.198, 5.208, 5.212, 5.277, 5.338, 5.362, 5.366, 5.413.
involution: 5.395, 5.397.
Isermann H.: 3.7.179.
Italiano G. F.: 1.3, 3.7.246, 3.7.247, 5.403.

J

Jackson J.: 5.304.
Jackson J. R.: 5.126.
JaCoP: 1.3, 1, 3.1, 3.3.4, 5.91, 5.118, 5.181, 5.199, 5.249, 5.262, 5.286, 5.342, 5.384.
Jansen K.: 3.7.225.
Jaulin L.: 3.7.228, 5.290.
Jefferson C.: 3.1.
Jensen J. L.: 2.
Johnson D. S.: 5.11, 5.53, 5.134, 5.407.
joker value: 3.7.130, 5.16, 5.24, 5.85, 5.108, 5.156, 5.203, 5.221, 5.258, 5.263, 5.289, 5.320, 5.396, 5.420.
Jouglet A.: 1.3.
Jussien N.: 1.3, 2, 5.12, 5.375.
Jørgensen M. E.: 2.
Jünger M.: 5.66, 5.316, 5.381, 5.401.

K

Kadioglu S.: 3.7.117.
Kalè L. V.: 3.7.164.
Kameugne R.: 5.96.
Kasper T.: 5.66, 5.316, 5.381, 5.401.
Katriel I.: 1.3, 2, 3.2, 3.7.81, 5.163, 5.204, 5.207, 5.211, 5.329, 5.334, 5.335, 5.336, 5.403, 5.412.
Katsirelos G.: 3.7.38, 5.12, 5.164, 5.204, 5.286.
Kaya L. G.: 5.66.
Keber R.: 3.7.179.
Kerbosch J.: 3.7.148, 5.11, 5.12, 5.71, 5.126.
Kirkman T. P.: 2.
Kirkman triples: 5.247.
Klarlund N.: 2.
Klee measure problem: 3.7.131, 5.118.
Klee V.: 5.118.
knight: 3.7.99, 3.7.163.
Koalog: 3.1.
Kocjan W.: 1.3, 5.398, 5.399.
Korf R. E.: 3.7.235,
Kreuger P.: 1.3, 5.398, 5.399.
Kuchcinski K.: 1.3, 5.118.
Kuhn H. W.: 3.7.121, 5.266.
Kutz M.: 5.204, 5.207, 5.211.
Kızıltan Z.: 2.4.1, 3.2, 4.3.4.3, 5.22, 5.23, 5.37, 5.41, 5.219, 5.229, 5.230, 5.231, 5.232, 5.233, 5.286, 5.333, 5.334, 5.378, 5.416.

L

Labbé M.: 5.105, 5.400.
labelling by increasing cost: 3.7.132, 5.137, 5.139.
Labreuche C.: 3.2, 4.1.
Laburthe F.: 3.1, 3.2, 3.3.4, 5.96.
Lagerkvist M. Z.: 1.3, 3.7.184, 5.134.
Lahrichi A.: 3.7.49, 5.96, 5.97, 5.99.
Lal A.: 5.102.
Laporte G.: 5.67, 5.105, 5.400.
Lardeux F.: 5.204.
Larrosa J.: 5.382.
Latin square: 3.7.133, 5.204.
Laura L.: 3.7.246, 3.7.247, 5.403.
Laurière J.-L.: 1.1, 3.1, 5.12, 5.66, 5.103.
Law Y. C.: 3.7.127, 5.195, 5.196, 5.344.
Le Pape C.: 5.96, 5.126.
Le Huédé F.: 3.2, 4.1.
Leconte M.: 1.3, 5.12.
Lecoutre C.: 1.3, 4.5.2.1.
Lee J. H. M.: 5.195, 5.196, 5.344.
Leiserson C. E.: 5.95.
Letort A.: 1.3.
Levy H.: 5.102.
lexicographic order: 3.7.134, 5.22, 5.80, 5.81, 5.82, 5.83, 5.84, 5.219, 5.222, 5.223, 5.224, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.233, 5.378,
Li K.: 5.118.
limited discrepancy search: 3.7.135, 5.121.
Lindner C. C.: 5.247.
line segments intersection: 3.7.137, 5.95, 5.170, 5.407,
linear programming: 3.7.136, 5.28, 5.66, 5.96, 5.136, 5.140, 5.141, 5.205, 5.234, 5.316, 5.351, 5.381, 5.383, 5.401.
Linhares A.: 5.97.
Liu Q.: 5.2, 5.115.
Lloyd E. L.: 5.102.
Lock H. C. R.: 5.96.
Lodi A.: 3.7.235, 5.266.
logic: 3.7.138, 5.89, 5.93, 5.94, 5.124, 5.152, 5.159, 5.194, 5.251, 5.280, 5.312, 5.314, 5.323, 5.408, 5.409, 5.410, 5.411.
logigraphe: 3.7.139, 5.87,
Lopez P.: 5.96.
Lorca X.: 1.3, 3.7.81, 3.7.228, 5.187, 5.290, 5.329, 5.373, 5.403.
Low D. W.: 5.102.
Lubiw A.: 5.219.
Lucas E.: 2.
López-Ortiz A.: 2, 5.11, 5.12, 5.163.

M

Macho-Gonzalez S.: 3.7.173.
Maculet R.: 3.7.104,
magic hexagon: 3.7.140, 5.12, 5.167.
magic series: 3.7.141, 5.163,
magic square: 3.7.142, 5.12, 5.167.
Mahajan M.: 5.204, 5.207, 5.211.
Maher M. J.: 1.3, 2.4.1, 3.7.61, 3.7.173, 4.5.2.1, 5.28, 5.168, 5.351.
Mahéo M.: 4.3.4.3.
Maier D.: 3.7.29.
MALICE: 5.163.
Marcovitch J.: 3.1, 5.163.
Marriott K.: 4.5.2.1.
Marte M.: 1.3, 5.402.
Martello S.: 3.7.235, 5.53.
Martin J.: 1.1, 1, 3.7.39, 3.7.138, 4.5.1.
Martin M.: 3.7.252.
Martin P.: 5.204.
Marx D.: 5.356, 5.357, 5.358, 5.359, 5.360.
matching: 3.7.143, 5.395, 5.396, 5.397, 5.401.
matrix: 3.7.144, 5.22, 5.72, 5.142, 5.219, 5.378.
matrix model: 3.7.145, 5.22, 5.72, 5.219, 5.378.
matrix symmetry: 3.7.146, 5.22, 5.186, 5.219, 5.223, 5.224, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.233, 5.378.
maximum: 3.7.147, 5.242, 5.243, 5.244, 5.248, 5.249, 5.250, 5.300.
maximum clique: 3.7.148, 5.11, 5.12, 5.71, 5.126.
maximum number of occurrences: 3.7.149, 5.244.
maxint: 3.7.150, 5.113, 5.256, 5.262, 5.265.
McGregor J. J.: 5.171, 5.382.
Mcinnis M. J.: 5.204.
Medjdoub B.: 3.7.104,
Mehlhorn K.: 2, 5.12, 5.66, 5.316, 5.371, 5.381, 5.401.
Mehta D.: 2.
Menana J.: 1.3, 3.2.
Menschner K.: 5.118.
Mercier L.: 5.96.
metro: 3.7.151, 5.218.
metro map: 3.7.151.
Meyer M.: 5.118.
Miguel I.: 2.4.1, 3.1, 5.22, 5.219, 5.229, 5.230, 5.231, 5.232, 5.233, 5.378.
Milano M.: 3.2, 5.266.
Mildner P.: 1.3.
minimum: 3.7.152, 5.255, 5.256, 5.257, 5.259, 5.262, 5.263, 5.264, 5.265, 5.275, 5.276, 5.301.
minimum cost flow: 3.7.153, 5.359, 5.365.
minimum feedback vertex set: 3.7.154, 5.102.
minimum hitting set cardinality: 3.7.155, 5.286.
minimum number of occurrences: 3.7.156, 5.257.
Minion: 3.1.
MiniZinc: 1, 3.1, 3.3.4, 5.54, 5.91, 5.96, 5.118, 5.123, 5.163, 5.164, 5.177, 5.181, 5.200, 5.383.
Minoux M.: 2.3.2.4.
miscellaneous: 3.6.12, 5.89, 5.93, 5.94, 5.124, 5.152, 5.194, 5.314, 5.407.
Mittal S.: 5.348.
modelling: 3.6.13, 5.1, 5.17, 5.20, 5.21, 5.22, 5.23, 5.24, 5.25, 5.27, 5.29, 5.30, 5.31, 5.32, 5.34, 5.35, 5.36, 5.37, 5.38, 5.39, 5.41, 5.42, 5.43, 5.44, 5.45, 5.46, 5.47, 5.48, 5.49, 5.51, 5.52, 5.53, 5.54, 5.55, 5.57, 5.58, 5.59, 5.60, 5.61, 5.62, 5.63, 5.64, 5.65, 5.67, 5.68, 5.70, 5.71, 5.72, 5.73, 5.74, 5.75, 5.76, 5.77, 5.78, 5.80, 5.81, 5.82, 5.83, 5.84, 5.85, 5.95, 5.96, 5.98, 5.100, 5.101, 5.103, 5.105, 5.107, 5.108, 5.113, 5.117, 5.118, 5.121, 5.123, 5.126, 5.127, 5.128, 5.129, 5.130, 5.131, 5.135, 5.136, 5.137, 5.138, 5.139, 5.140, 5.141, 5.142, 5.143, 5.144, 5.145, 5.146, 5.147, 5.148, 5.149, 5.150, 5.154, 5.155, 5.156, 5.157, 5.158, 5.159, 5.160, 5.163, 5.166, 5.167, 5.170, 5.172, 5.173, 5.175, 5.176, 5.177, 5.178, 5.180, 5.183, 5.187, 5.188, 5.190, 5.192, 5.193, 5.197, 5.198, 5.199, 5.200, 5.201, 5.202, 5.203, 5.206, 5.207, 5.208, 5.211, 5.212, 5.213, 5.215, 5.216, 5.219, 5.220, 5.221, 5.223, 5.225, 5.234, 5.235, 5.236, 5.237, 5.239, 5.240, 5.241, 5.242, 5.243, 5.244, 5.245, 5.246, 5.247, 5.248, 5.249, 5.250, 5.252, 5.254, 5.255, 5.256, 5.257, 5.259, 5.260, 5.261, 5.262, 5.263, 5.265, 5.266, 5.268, 5.269, 5.270, 5.271, 5.274, 5.275, 5.276, 5.277, 5.281, 5.283, 5.284, 5.285, 5.286, 5.287, 5.288, 5.289, 5.290, 5.291, 5.292, 5.293, 5.295, 5.296, 5.297, 5.303, 5.304, 5.305, 5.309, 5.310, 5.315, 5.318, 5.319, 5.320, 5.321, 5.325, 5.329, 5.332, 5.334, 5.335, 5.336, 5.338, 5.346, 5.347, 5.348, 5.355, 5.359, 5.362, 5.366, 5.371, 5.372, 5.374, 5.378, 5.383, 5.388, 5.395, 5.397, 5.400, 5.403, 5.404, 5.407, 5.412, 5.413, 5.414, 5.415, 5.416, 5.417, 5.420, 5.421.
modelling exercises: 3.6.14, 5.12, 5.15, 5.53, 5.54, 5.57, 5.87, 5.101, 5.118, 5.126, 5.137, 5.139, 5.159, 5.160, 5.163, 5.199, 5.218, 5.223, 5.225, 5.355, 5.359, 5.400.
modulo: 3.7.157, 5.18, 5.27, 5.46, 5.77, 5.209, 5.213, 5.250, 5.265, 5.339, 5.363, 5.367, 5.414.
Monaci M.: 3.7.235.
Monette J.-N.: 5.122.
Monfroy É.: 2, 5.204.
Moukrim A.: 3.7.264.
Mozart: 3.1, 5.134.
multi-site employee scheduling with calendar constraints: 5.57, 5.118, 5.159,
multiset: 3.7.159, 5.207, 5.211, 5.334, 5.335, 5.336, 5.412.
multiset ordering: 3.7.160, 5.229, 5.230, 5.231, 5.232.
Museux N.: 1.3.
Müller T.: 3.7.59.
Métivier J.-P.: 3.2,
Müller T.: 5.395.
Müller-Hannemann M.: 5.53.

N

n-Amazons: 3.7.163, 5.12, 5.15, 5.199, 5.355,
n-queens: 3.7.164, 5.12, 5.15, 5.199.
Nagao T.: 3.7.139.
Narodytska N.: 3.7.38, 5.12, 5.28, 5.164, 5.204, 5.286, 5.351.
Naveh Y.: 5.204.
negation: 2.6.13.
Nelissen J.: 3.7.179, 5.118.
Nethercote N.: 4.5.2.1.
Ng M. P.: 5.373.
Ngo-Kateu Y.: 5.96.
Nieuwenhuis R.: 2.
Nightingale P.: 3.7.216, 5.12.
no cycle: 3.7.161, 5.329.
no loop: 3.7.162, 5.2, 5.3, 5.4, 5.10, 5.19, 5.26, 5.29, 5.32, 5.34, 5.35, 5.53, 5.58, 5.59, 5.60, 5.61, 5.62, 5.63, 5.64, 5.75, 5.76, 5.77, 5.78, 5.90, 5.92, 5.95, 5.102, 5.107, 5.108, 5.110, 5.202, 5.228, 5.410, 5.416.
non-crossable unavailability period: 3.7.225.
non-deterministic automaton: 3.7.165, 5.23, 5.61, 5.355,
non-overlapping: 3.7.166, 5.118, 5.125, 5.159, 5.160, 5.280, 5.312, 5.313, 5.323, 5.408, 5.410.
non-resumable task: 3.7.225.
nonogram: 3.7.139.
North S. C.: 3.4, 4.5.2.2.
number of changes: 3.7.167, 5.61, 5.63, 5.64, 5.65, 5.68, 5.107, 5.108, 5.355,
number of distinct equivalence classes: 3.7.168, 5.37, 5.38, 5.41, 5.42, 5.187, 5.271, 5.274, 5.277, 5.284, 5.286, 5.288, 5.290, 5.291.
number of distinct values: 3.7.169, 5.35, 5.37, 5.41, 5.73, 5.74, 5.187, 5.188, 5.286, 5.287, 5.288, 5.289,
nurse scheduling: 3.7.118.

O

O'Sullivan B.: 3.7.79, 3.7.120.2, 3.7.235, 5.53, 5.356, 5.357, 5.358, 5.359, 5.360.
obscure: 3.7.170, 5.89, 5.93, 5.94, 5.124, 5.152, 5.194, 5.314, 5.407.
Older W. J.: 5.334, 5.371.
one succ: 3.7.171.
one_succ: 5.12, 5.13, 5.15, 5.16, 5.17, 5.18, 5.20, 5.44, 5.48, 5.49, 5.55, 5.66, 5.67, 5.103, 5.104, 5.114, 5.266, 5.315, 5.322, 5.328, 5.403.
open automaton constraint: 3.7.172, 5.300, 5.301.
open constraint: 3.7.173, 5.12, 5.23, 5.36, 5.39, 5.249, 5.262, 5.294, 5.295, 5.296, 5.297, 5.298, 5.299, 5.300, 5.301, 5.348.
Oplobedu A.: 3.1, 5.163.
order constraint: 3.7.174, 5.22, 5.80, 5.81, 5.82, 5.83, 5.84, 5.110, 5.185, 5.186, 5.187, 5.188, 5.190, 5.195, 5.196, 5.219, 5.222, 5.223, 5.224, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.233, 5.242, 5.243, 5.249, 5.250, 5.255, 5.256, 5.262, 5.263, 5.264, 5.265, 5.276, 5.300, 5.301, 5.306, 5.307, 5.308, 5.309, 5.326, 5.344, 5.378, 5.379, 5.380,
Ortega J.: 5.204.
orthotope: 3.7.175, 5.11, 5.12, 5.101, 5.118, 5.119, 5.120, 5.126, 5.310, 5.311, 5.312, 5.313, 5.323, 5.408, 5.409, 5.410, 5.411.
Ottosson G.: 3.1, 3.3.4, 5.140, 5.141, 5.143.
Ouellet P.: 5.268.
overlapping alldifferent: 3.7.176, 5.204.
Östergård P.: 3.7.89.

P

Pachet F.: 5.61, 5.286.
packing almost squares: 3.7.178, 5.118, 5.159.
Paige R.: 2.
pair: 3.7.177, 5.63, 5.284, 5.406.
pallet loading: 3.7.179, 5.118, 5.159.
Pardalos P. M.: 3.7.154.
Parreno F.: 3.7.179.
part of system of constraints: 2.6.14.
partition: 3.7.180, 5.20, 5.47, 5.60, 5.64, 5.78, 5.182, 5.210, 5.214, 5.271, 5.340, 5.364, 5.368, 5.377, 5.415.
Partridge: 3.7.182, 5.118, 5.159.
path: 3.7.181, 5.48, 5.134, 5.315, 5.316, 5.400,
pattern sequencing: 3.7.183, 5.97.
Pearl J.: 2.3.1, 3.7.118.
Pearson J.: 1.3, 3.7.209, 5.22, 5.219, 5.220, 5.233, 5.343, 5.378.
pentomino: 3.7.184, 5.118, 5.159, 5.324,
periodic: 3.7.185, 5.319, 5.320, 5.321.
permutation: 3.7.186, 5.12, 5.14, 5.44, 5.62, 5.66, 5.67, 5.90, 5.103, 5.114, 5.147, 5.199, 5.204, 5.207, 5.208, 5.209, 5.210, 5.305, 5.322, 5.328, 5.334, 5.335, 5.336, 5.338, 5.339, 5.340, 5.371, 5.372, 5.395, 5.397.
permutation channel: 3.7.187, 5.199.
Pesant G.: 1.1, 2, 2.1.7, 2.4.1, 3.2, 3.7.25, 3.7.27, 3.7.184, 5.11, 5.12, 5.28, 5.61, 5.163, 5.181, 5.187, 5.317, 5.355, 5.375, 5.376, 5.395.
Petersen J.: 5.12.
Petit T.: 1.1, 2, 2.4, 3.7.25, 3.7.226, 5.187, 5.190, 5.308, 5.359, 5.360, 5.361.
Pfefferkorn C. E.: 3.7.104.
Phi-tree: 3.7.188, 5.96, 5.126.
phylogeny: 3.7.189, 5.373.
pick-up delivery: 3.7.190, 5.103.
Pinson E.: 5.126.
Pinto C.: 3.7.216.
Pitrat J.: 1.3, 3.6.14, 3.7.139, 5.163,
placement problem: 1.3, 3.4, 3.7.17, 3.7.49, 3.7.120, 3.7.212, 3.7.252.
placement space: 3.7.104, 3.7.120.1, 3.7.175, 3.7.179, 3.7.205, 3.7.243, 3.7.252, 3.7.264,
planarity test: 3.7.191, 5.66.
planning: 3.7.173, 3.7.226.
Poder E.: 1.3, 3.2, 3.7.49, 3.7.71, 3.7.120.1, 3.7.184, 3.7.243, 3.7.252, 5.96, 5.159, 5.160, 5.220, 5.319, 5.320, 5.361.
polygon: 3.7.192, 5.118.
positioning constraint: 3.7.193, 5.119, 5.120, 5.409, 5.411.
predefined constraint: 3.7.194, 5.1, 5.40, 5.54, 5.57, 5.72, 5.79, 5.88, 5.99, 5.129, 5.132, 5.133, 5.134, 5.135, 5.149, 5.150, 5.151, 5.158, 5.159, 5.160, 5.161, 5.162, 5.171, 5.174, 5.179, 5.180, 5.183, 5.184, 5.190, 5.217, 5.218, 5.219, 5.233, 5.238, 5.267, 5.268, 5.269, 5.272, 5.273, 5.302, 5.319, 5.320, 5.321, 5.325, 5.332, 5.341, 5.342, 5.346, 5.361, 5.378, 5.382, 5.385, 5.386, 5.387, 5.389, 5.390, 5.391, 5.393, 5.396, 5.406, 5.419, 5.422, 5.423.
preferences: 3.7.195, 5.80, 5.81, 5.82, 5.83, 5.84,
Preparata F. P.: 3.7.252.
problems: 3.6.15, 5.11, 5.12, 5.38, 5.42, 5.66, 5.71, 5.85, 5.96, 5.97, 5.101, 5.102, 5.103, 5.105, 5.118, 5.126, 5.159, 5.167, 5.196, 5.204, 5.266, 5.286, 5.288, 5.290, 5.291, 5.335, 5.336, 5.386, 5.388, 5.401, 5.420.
producer-consumer: 3.7.196, 5.96, 5.101.
product: 3.7.197, 5.98, 5.327.
program verification: 3.7.198, 5.102.
propagator group: 3.7.29.
Prosser P.: 5.373.
proximity constraint: 3.7.199, 5.21, 5.130, 5.131,
Prud'homme C.: 1.3.
Puget J.-F.: 3.1, 5.12, 5.350, 5.382.
pure functional dependency: 3.7.200, 5.1, 5.23, 5.24, 5.25, 5.27, 5.29, 5.30, 5.43, 5.45, 5.46, 5.47, 5.51, 5.52, 5.58, 5.59, 5.60, 5.61, 5.63, 5.64, 5.65, 5.68, 5.72, 5.75, 5.76, 5.77, 5.78, 5.95, 5.107, 5.108, 5.113, 5.117, 5.121, 5.129, 5.130, 5.131, 5.137, 5.139, 5.143, 5.146, 5.149, 5.150, 5.154, 5.155, 5.157, 5.158, 5.163, 5.166, 5.167, 5.170, 5.172, 5.175, 5.176, 5.193, 5.199, 5.200, 5.215, 5.216, 5.235, 5.236, 5.237, 5.239, 5.240, 5.241, 5.243, 5.244, 5.248, 5.249, 5.250, 5.252, 5.254, 5.256, 5.257, 5.259, 5.260, 5.261, 5.262, 5.263, 5.265, 5.270, 5.271, 5.274, 5.277, 5.281, 5.284, 5.285, 5.286, 5.287, 5.290, 5.292, 5.293, 5.303, 5.304, 5.310, 5.318, 5.319, 5.320, 5.321, 5.325, 5.332, 5.346, 5.347, 5.348, 5.355, 5.371, 5.374, 5.388, 5.407, 5.417, 5.421.
puzzles: 3.6.16, 5.12, 5.15, 5.87, 5.96, 5.103, 5.118, 5.137, 5.139, 5.159, 5.163, 5.167, 5.169, 5.199, 5.204, 5.286, 5.324, 5.355.
Péridy L.: 5.126.

Q

quadtree: 3.7.201, 5.99, 5.118.
queen: 3.7.164.
Quesada L.: 2.
Quesada L. O.: 1.3, 5.134.
Quimper C. G.: 1.3.
Quimper C.-G.: 2, 3.2, 3.7.38, 5.11, 5.12, 5.13, 5.28, 5.163, 5.164, 5.204, 5.220, 5.268, 5.286, 5.351.

R

Rampon J.-X.: 1.
Randell D. A.: 3.7.204, 5.89, 5.93, 5.94, 5.124, 5.152, 5.194, 5.251, 5.314.
randomised filtering algorithm: 3.7.81.
range: 3.7.202, 5.330.
range consistency: 3.7.12.
rank: 3.7.203, 5.243, 5.256.
Rauhe T.: 2.
Razgon I.: 5.356, 5.357, 5.358, 5.359, 5.360.
rcc8: 3.7.204, 5.89, 5.93, 5.94, 5.124, 5.152, 5.194, 5.251, 5.314,
rectangle clique partition: 3.7.205, 5.290.
Refalo P.: 5.136.
regret based heuristics: 3.7.206, 5.137, 5.139, 5.167, 5.384.
regret based heuristics in matrix problems: 3.7.207, 5.167, 5.384.
reified automaton constraint: 3.7.208, 5.30, 5.31, 5.32, 5.50, 5.69, 5.70, 5.80, 5.87, 5.110, 5.136, 5.137, 5.138, 5.139, 5.140, 5.141, 5.142, 5.144, 5.145, 5.154, 5.168, 5.176, 5.177, 5.178, 5.182, 5.185, 5.186, 5.187, 5.195, 5.196, 5.222, 5.227, 5.228, 5.229, 5.230, 5.231, 5.232, 5.249, 5.262, 5.263, 5.264, 5.270, 5.275, 5.278, 5.279, 5.281, 5.282, 5.283, 5.300, 5.301, 5.303, 5.317, 5.343, 5.374, 5.376, 5.377, 5.379, 5.380, 5.408, 5.410, 5.421.
reified constraint: 3.7.209, 5.179.
related: 2.6.15.
related to a common problem: 2.6.16.
relation: 3.7.210, 5.181, 5.398, 5.399.
relaxation: 3.7.211, 5.16, 5.118, 5.159, 5.331, 5.356, 5.357, 5.358, 5.359, 5.360, 5.361, 5.362, 5.363, 5.364, 5.365, 5.366, 5.367, 5.368, 5.369, 5.388, 5.420.
relaxation dimension: 3.7.212, 5.118, 5.159,
Resende M. G. C.: 3.7.154.
resetting the domain of a variable: 3.7.226.
resource constraint: 3.7.213, 5.53, 5.54, 5.73, 5.74, 5.96, 5.97, 5.98, 5.100, 5.101, 5.106, 5.122, 5.126, 5.127, 5.128, 5.197, 5.198, 5.361, 5.402, 5.405.
resumable task: 3.7.225.
reverse of a constraint: 3.7.214, 5.23, 5.62, 5.113, 5.155, 5.157, 5.172, 5.173, 5.175, 5.193, 5.215, 5.216, 5.235, 5.236, 5.237, 5.240, 5.241, 5.249, 5.252, 5.254, 5.260, 5.261, 5.262, 5.318, 5.417.
Ribeiro C.: 5.118.
Richoux F.: 1.3.
Richter Y.: 5.204.
Rivest R. L.: 5.95.
Rivreau D.: 3.7.235, 5.126.
Roach J. A.: 5.408.
Rochart G.: 1.3, 2, 5.12, 5.375.
Rochon du Verdier F.: 5.118.
Roditty L.: 5.134.
Rodríguez-Martín I.: 5.105, 5.400.
root concept: 2.6.17.
Rosa A.: 5.245, 5.247.
Rousseau L.-M.: 1.1, 2, 3.2, 3.7.136, 5.28, 5.163, 5.403.
Roussel O.: 4.5.2.1.
Roy B.: 5.12.
Roy P.: 5.61, 5.286.
Rueher M.: 2, 3.2, 5.403.
run of a permutation: 3.7.215, 5.62.
Régin J.-C.: 1.3, 2, 2.4.1, 3.2, 3.7.27, 3.7.173, 5.11, 5.12, 5.37, 5.58, 5.59, 5.71, 5.72, 5.163, 5.164, 5.167, 5.190, 5.286, 5.294, 5.298, 5.299, 5.308, 5.350, 5.359, 5.360, 5.382, 5.395, 5.403.

S

Sabharwal A.: 5.28, 5.40.
Saclé J.-F.: 4.3.4.3.
Sadek R.: 3.7.184, 3.7.243, 3.7.252, 5.159, 5.160, 5.220.
Sadjad S. B.: 5.163.
Sadler A. J.: 3.1, 5.40.
Sagiv Y.: 5.373.
Saidy H. R. D.: 3.7.225.
Samet H.: 5.99, 5.118.
Sandholm A.: 2.
Sanlaville E.: 3.2, 3.7.49,
Sanner A. M. W.: 5.2, 5.115.
Santaroni F.: 3.7.246, 3.7.247, 5.403.
Saraswat V.: 3.7.59.
SAT: 3.7.216, 5.12, 5.23, 5.118.
Saubion F.: 5.204.
Savalle X.: 1.3.
Savéant P.: 3.2, 4.1.
Sbihi M.: 3.7.182, 5.159, 5.225, 5.226.
scalar product: 3.7.217, 5.167.
Schaus P.: 1.3, 3.2, 3.7.27, 5.372.
scheduling: 3.7.17, 3.7.39, 3.7.49, 3.7.71, 3.7.173, 3.7.224, 3.7.225.
scheduling constraint: 3.7.158, 3.7.224, 3.7.225, 5.11, 5.57, 5.73, 5.74, 5.96, 5.97, 5.98, 5.100, 5.101, 5.122, 5.125, 5.126, 5.127, 5.128, 5.268, 5.319, 5.320, 5.345, 5.361.
scheduling with machine choice, calendars and preemption: 5.57, 5.101, 5.118, 5.159,
Scheithauer G.: 3.7.179.
Schepers J.: 3.7.216.
Schiex T.: 1.3.
Schimpf J.: 3.1, 5.342.
Schmitz L.: 3.7.164.
Schulte C.: 1.3, 5.134.
Schur number: 3.7.227, 5.386.
Schutt A.: 5.96.
Schwarz U. M.: 3.7.225.
Schwenk A. J.: 5.407.
Scott J.: 5.96.
Sedgewick R.: 5.239.
Sellmann M.: 3.7.117, 5.266.
semantic links: 2.6.
sequence: 3.7.218, 5.6, 5.7, 5.8, 5.9, 5.28, 5.33, 5.51, 5.52, 5.62, 5.104, 5.111, 5.112, 5.113, 5.157, 5.168, 5.172, 5.173, 5.175, 5.189, 5.191, 5.193, 5.215, 5.216, 5.236, 5.237, 5.240, 5.241, 5.252, 5.253, 5.254, 5.258, 5.260, 5.261, 5.267, 5.278, 5.279, 5.292, 5.293, 5.318, 5.319, 5.320, 5.321, 5.331, 5.343, 5.347, 5.348, 5.349, 5.350, 5.351, 5.376, 5.377, 5.417,
sequence dependent set-up: 3.7.219, 5.118, 5.126, 5.137, 5.139, 5.400,
sequencing with release times and deadlines: 3.7.220, 5.96, 5.101, 5.118, 5.122, 5.126.
set channel: 3.7.221, 5.201, 5.234.
set packing: 3.7.222, 5.204.
Shamos M. I.: 3.7.252.
shared table: 3.7.226, 5.146, 5.148.
Shaw P.: 5.53.
Shearer J. B.: 5.169.
Shen K.: 3.1.
shift of concept: 2.6.18.
Shikaku: 3.7.223, 5.118, 5.159.
Shmoys D. B.: 5.204.
shortest path: 3.7.151.
Shufet J. A.: 5.66.
SICStus: 1, 3.1, 3.3.4, 3.7.120.2, 4.5.1, 5.118, 5.181, 5.199, 5.372.
Simonis H.: 1, 2, 2.1.7, 3.1, 3.6.14, 3.7.120.2, 3.7.151, 3.7.178, 3.7.196, 3.7.234, 3.7.235, 3.7.243, 5.85, 5.100, 5.163, 5.204, 5.218, 5.221.
Simons B. B.: 5.11.
ski assignment problem: 5.12.
Skiena S.: 2.3.2.3.
SLAM problem: 3.7.228, 5.290.
Slaney J. K.: 4.5.2.1.
slice encoding: 3.7.226.
sliding cyclic(1) constraint network(1): 3.7.229, 5.110, 5.185, 5.278, 5.279, 5.282, 5.379, 5.380.
sliding cyclic(1) constraint network(2): 3.7.230, 5.6, 5.7, 5.8, 5.9, 5.61, 5.62, 5.107, 5.108, 5.111, 5.112, 5.113, 5.175, 5.189, 5.191, 5.193, 5.215, 5.216, 5.318, 5.355, 5.417.
sliding cyclic(1) constraint network(3): 3.7.231, 5.62, 5.235, 5.253.
sliding cyclic(2) constraint network(2): 3.7.232, 5.63, 5.131.
sliding sequence constraint: 3.7.233, 5.28, 5.33, 5.104, 5.145, 5.317, 5.331, 5.347, 5.348, 5.349, 5.350, 5.351, 5.352, 5.353, 5.354, 5.375, 5.376, 5.377,
Sloane N. J. A.: 5.12, 5.103, 5.403.
smallest rectangle area: 3.7.235, 5.118, 5.159.
smallest square for packing consecutive dominoes: 3.7.234, 5.118, 5.159.
smallest square for packing rectangles with distinct sizes: 3.7.236, 5.118, 5.159.
Smith B. M.: 5.169, 5.373.
Smith L. M.: 5.2, 5.115.
Smolka G.: 3.1.
Soffa M. L.: 5.102.
soft constraint: 3.7.237, 5.294, 5.331, 5.356, 5.357, 5.358, 5.359, 5.360, 5.361, 5.362, 5.363, 5.364, 5.365, 5.366, 5.367, 5.368, 5.369, 5.420,
soft cumulative: 5.308.
soft variant: 2.6.19.
Solnon C.: 5.171, 5.382.
Somogyi Z.: 4.5.2.1.
Soriano P.: 5.395.
Sorlin S.: 5.171, 5.382.
sort: 3.7.238, 5.305, 5.371, 5.372,
sort based reformulation: 3.7.239.
sort based reformulation: 5.11, 5.12, 5.14, 5.15, 5.16, 5.17, 5.18, 5.20, 5.21, 5.22, 5.88, 5.114, 5.126, 5.207, 5.208, 5.209, 5.210, 5.211, 5.212, 5.213, 5.214, 5.322, 5.334, 5.338, 5.339, 5.340, 5.370, 5.412, 5.413, 5.414, 5.415.
span: 5.87, 5.375, 5.376, 5.377,
sparse functional dependency: 3.7.240, 5.144, 5.148.
sparse table: 3.7.241, 5.144, 5.148,
specialisation: 2.6.20.
sport timetabling: 3.7.242, 5.395, 5.396.
squared squares: 3.7.243, 5.96, 5.118, 5.159.
Sriskandarajah C.: 5.67.
Stadler P. F.: 5.343.
statistics: 3.7.244.
Steel M.: 5.373.
Steel M. A.: 5.373.
Steiner triples: 5.247.
Stergiou K.: 5.169.
Stille W.: 5.53.
Stirling number of first kind: 5.103.
Strash D.: 5.12.
strip packing: 3.7.245, 5.118, 5.159.
strong articulation point: 3.7.246, 5.403.
strong bridge: 3.7.247, 5.66, 5.103.
strongly connected component: 3.7.248, 5.37, 5.38, 5.41, 5.42, 5.44, 5.67, 5.85, 5.103, 5.105, 5.106, 5.173, 5.187, 5.271, 5.274, 5.277, 5.284, 5.285, 5.286, 5.288, 5.289, 5.290, 5.291, 5.324, 5.360, 5.381,
Stuckey P. J.: 2, 4.5.2.1, 5.28.
Subbarayan S.: 3.7.51.
subset sum: 3.7.249, 5.420.
Sudoku: 3.7.250, 5.12, 5.204.
Sulanke T.: 5.196.
sum: 3.7.251, 5.190, 5.342, 5.351, 5.354, 5.383, 5.384, 5.385, 5.387, 5.389, 5.390, 5.391, 5.392, 5.393,
sweep: 3.7.252, 5.101, 5.118, 5.159, 5.160, 5.358, 5.419,
Swinkels G. M.: 5.334, 5.371.
symmetric: 3.7.253, 5.2, 5.3, 5.4, 5.10, 5.56, 5.71, 5.85, 5.86, 5.202, 5.329, 5.394,
symmetry: 3.6.17, 3.7.254, 5.22, 5.80, 5.81, 5.82, 5.83, 5.84, 5.159, 5.186, 5.187, 5.190, 5.195, 5.196, 5.219, 5.222, 5.223, 5.224, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.233, 5.306, 5.307, 5.309, 5.344, 5.378, 5.382,
system of constraints: 2.6.21, 3.7.255, 5.2, 5.3, 5.4, 5.10, 5.12, 5.22, 5.28, 5.72, 5.146, 5.148, 5.163, 5.204, 5.206, 5.207, 5.208, 5.209, 5.210, 5.211, 5.212, 5.213, 5.214, 5.219, 5.220, 5.222, 5.223, 5.224, 5.225, 5.226, 5.350, 5.351, 5.378.
Szczygiel T.: 5.118.
Szeredi P.: 1.3.
Szymanek R.: 1.3, 5.118.
Szymanski T.: 5.373.

T

table: 3.7.256, 5.137, 5.138, 5.139, 5.140, 5.141, 5.143, 5.144, 5.145, 5.146, 5.147, 5.148, 5.203, 5.275, 5.276, 5.374.
Tack G.: 1.3, 4.5.2.1, 5.134.
Taghavi-Fard M. T.: 3.7.225.
Tallys H. Yunes: 5.383.
Tamarit J. M.: 3.7.179.
Tamassia R.: 5.407.
Tantau T.: 3.4.
Tarjan R. E.: 5.11, 5.66.
temporal constraint: 3.7.257, 5.57, 5.73, 5.74, 5.96, 5.97, 5.98, 5.100, 5.101, 5.125, 5.197, 5.198, 5.345, 5.352, 5.353, 5.354, 5.361, 5.402.
ternary constraint: 3.7.258, 5.129, 5.142, 5.158, 5.325, 5.332.
Terno J.: 3.7.179.
Thiel A. J.: 5.2, 5.115.
Thiel S.: 1.3, 2, 3.7.49, 5.12, 5.118, 5.123, 5.163, 5.271, 5.274, 5.277, 5.286, 5.334, 5.335, 5.336, 5.371, 5.388, 5.395, 5.412, 5.420.
Thorsteinsson E. S.: 5.140, 5.141, 5.143.
TikZ: 3.4.
time window: 3.7.260, 5.354.
timetabling constraint: 3.7.259, 5.61, 5.62, 5.63, 5.64, 5.68, 5.72, 5.101, 5.107, 5.108, 5.118, 5.157, 5.159, 5.160, 5.172, 5.173, 5.197, 5.198, 5.235, 5.317, 5.319, 5.320, 5.345, 5.349, 5.355, 5.375, 5.376, 5.377, 5.395, 5.396, 5.398, 5.399, 5.402.
Tollis I. G.: 5.407.
Tong C.: 3.7.104.
topological constraint: 3.7.104,
topological relation: 3.7.204,
topological sort: 3.7.29, 4.3.4.3.
Toth P.: 5.53.
touch: 3.7.261, 5.313, 5.408.
Tourbier Y.: 3.1, 5.163.
transitive closure: 5.134,
tree: 3.7.262, 5.48, 5.49, 5.55, 5.315, 5.329, 5.373, 5.403, 5.404, 5.405.
Trick M. A.: 3.7.93, 5.395.
Truchet C.: 1.3, 3.7.81, 3.7.182, 3.7.184, 3.7.243, 3.7.252, 5.159, 5.160, 5.220, 5.225, 5.226.
Trystram D.: 3.7.225.
tuple: 3.7.263, 5.181, 5.418.
Turán P.: 4.3.4.3.
two-dimensional orthogonal packing: 3.7.264, 5.118, 5.159.

U

Ueda N.: 3.7.139.
Ullman J. D.: 5.373.
Ullmann J. R.: 5.382.
unary constraint: 3.7.265, 5.177, 5.178, 5.180, 5.283, 5.386.
unavailability period: 3.7.225.
undirected graph: 3.7.266, 5.329, 5.401.
used in graph description: 2.6.22.
used in reformulation: 2.6.23.
uses in its reformulation: 2.6.24.

V

Vacheret E.: 1.3,
Valiant L. G.: 2.1.7, 5.12.
Valiente G.: 5.382.
value constraint: 3.7.267, 5.5, 5.11, 5.12, 5.14, 5.15, 5.16, 5.17, 5.18, 5.19, 5.20, 5.23, 5.24, 5.25, 5.26, 5.27, 5.31, 5.32, 5.36, 5.39, 5.43, 5.45, 5.46, 5.47, 5.58, 5.59, 5.60, 5.88, 5.91, 5.92, 5.115, 5.116, 5.117, 5.121, 5.123, 5.135, 5.155, 5.163, 5.164, 5.165, 5.166, 5.177, 5.178, 5.179, 5.180, 5.182, 5.183, 5.186, 5.204, 5.206, 5.215, 5.216, 5.234, 5.244, 5.248, 5.257, 5.259, 5.268, 5.282, 5.283, 5.285, 5.294, 5.295, 5.296, 5.297, 5.298, 5.299, 5.308, 5.322, 5.333, 5.335, 5.336, 5.356, 5.357, 5.358, 5.359, 5.360, 5.370, 5.418.
value partitioning constraint: 3.7.268, 5.37, 5.38, 5.41, 5.42, 5.187, 5.271, 5.274, 5.277, 5.284, 5.286, 5.288, 5.289, 5.290, 5.291.
value precedence: 3.7.269, 5.195, 5.196, 5.344.
value symmetry: 3.7.127.
van Beek P.: 2, 5.12, 5.163, 5.375, 5.376.
van der Veen J.: 3.7.216.
van Dongen M. R. C.: 4.5.2.1.
van Emden M. H.: 5.334, 5.371.
Van Hentenryck P.: 1.3, 2.4.1, 3.1, 3.2, 3.7.59, 3.7.81, 3.7.243, 3.7.252, 4.5.2.1, 5.96, 5.139, 5.163.
van Hoeve W.-J.: 1.3, 2, 3.2, 3.7.173, 5.12, 5.28, 5.40, 5.121, 5.163, 5.294, 5.298, 5.299, 5.334, 5.359, 5.365, 5.403.
van Lint J. H.: 3.7.243.
Van Roy P.: 5.134.
variable indexing: 3.7.271, 5.137, 5.138, 5.139, 5.140, 5.141, 5.144, 5.192.
variable subscript: 3.7.272, 5.137, 5.138, 5.139, 5.140, 5.141, 5.143, 5.192.
variable-based violation measure: 3.7.270, 5.5, 5.12, 5.334, 5.338, 5.339, 5.340, 5.356, 5.358, 5.360, 5.362, 5.363, 5.364, 5.365, 5.366, 5.367, 5.368, 5.369, 5.412, 5.413, 5.414, 5.415.
vector: 3.7.273, 5.2, 5.3, 5.4, 5.10, 5.22, 5.38, 5.42, 5.61, 5.65, 5.80, 5.81, 5.82, 5.83, 5.84, 5.115, 5.116, 5.117, 5.184, 5.220, 5.221, 5.222, 5.223, 5.224, 5.225, 5.226, 5.227, 5.228, 5.229, 5.230, 5.231, 5.232, 5.233, 5.245, 5.246, 5.247, 5.286, 5.290, 5.291, 5.306, 5.307, 5.309, 5.319, 5.321, 5.423.
Vellino A.: 3.7.67, 5.12.
Vempaty N. R.: 1.1.
Vilím P.: 3.7.188, 5.96, 5.126.
Voß H.: 3.4.
Voss S.: 3.7.183, 5.97.
vpartition: 3.7.274, 5.172.

W

Wainwright R.: 3.7.182.
Wallace M. G.: 3.1, 4.5.2.1, 4.5.2.4.1.
Wallace R. J.: 1.3, 5.80, 5.81, 5.82, 5.83, 5.84.
Walsh T.: 1.3, 2.4.1, 3.2, 3.7.38, 3.7.79, 4.3.4.3, 4.5.2.1, 5.12, 5.13, 5.22, 5.23, 5.28, 5.37, 5.41, 5.75, 5.164, 5.169, 5.196, 5.204, 5.219, 5.220, 5.229, 5.230, 5.231, 5.232, 5.233, 5.286, 5.333, 5.334, 5.351, 5.378, 5.416.
Wang C. C.: 5.102.
Watkins J. J.: 5.12.
Weakley W.: 3.7.89.
Wei W.: 5.373.
weighted assignment: 3.7.275, 5.167, 5.266, 5.388, 5.420,
Weihe K.: 5.53.
Williams H. P.: 5.12.
Wilson N.: 5.80, 5.81, 5.82, 5.83, 5.84.
Wilson R. M.: 3.7.243.
Wolf A.: 5.96.
workload covering: 3.7.276, 5.101.
Wormald N. C.: 5.373.
Wright E. M.: 5.137.
Würtz J.: 3.7.59.

X

XML schema: 4.5.2.

Y

Yan H.: 2, 5.12, 5.96.
Yanasse H. H.: 5.97.
Yannakakis M.: 3.7.29.
Yannou B.: 3.7.104.
Yap R. H.C.: 3.2.

Z

Zampelli S.: 1.3, 3.7.182, 5.159, 5.225, 5.226, 5.382.
Zanarini A.: 2.1.7, 3.2, 5.12.
zebra puzzle: 3.7.277, 5.12, 5.137, 5.139, 5.199,
zero-duration task: 3.7.278, 5.73, 5.74, 5.96, 5.98, 5.100, 5.101, 5.126, 5.127, 5.128.
Zhou J.: 5.371, 5.372.
Zhou N.-F.: 5.85.
Zimmermann W.: 2.

0-9

3-dimensional-matching: 3.7.1, 5.207, 5.357.
3-SAT: 3.7.2, 5.41, 5.75, 5.163, 5.286, 5.416.

Global Constraint Catalog

Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

0-9