Index

A

abstract interpretation
3.7.3, 5.158, 5.325,
acyclic
3.7.4, 5.11, 5.19, 5.22, 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.228, 5.416.
Aggoun A.
1.3, 2, 3.1, 3.7.49, 3.7.120.1, 3.7.243, 5.53, 5.96.
aggregate
3.7.5.
Aho A. V.
5.373.
air traffic management
3.7.6, 5.11, 5.204, 5.268.
ALICE
1.1, 3.1, 5.12, 5.103.
alignment
3.7.7, 5.304.
all different
3.7.8, 5.12, 5.13, 5.14, 5.15, 5.16, 5.17, 5.18, 5.19, 5.20, 5.169, 5.204, 5.294, 5.322, 5.347, 5.348, 5.359, 5.360, 5.395, 5.397, 5.420.
alpha-acyclic constraint network(2)
3.7.9, 5.23, 5.24, 5.25, 5.26, 5.27, 5.36, 5.39, 5.91, 5.92, 5.115, 5.155, 5.157, 5.172, 5.173, 5.349.
alpha-acyclic constraint network(3)
3.7.10, 5.157, 5.172, 5.173, 5.203, 5.258.
Althaus E.
1.3, 5.66, 5.205, 5.316, 5.381, 5.401.
Alvarez-Valdes R.
3.7.179.
Amazon
3.7.163.
Amilhastre J.
1.1.
Andreina M.
1.3,
apartition
3.7.11, 5.62.
application area
3.6.1, 5.2, 5.11, 5.34, 5.35, 5.43, 5.45, 5.46, 5.47, 5.53, 5.54, 5.58, 5.59, 5.101, 5.102, 5.118, 5.143, 5.159, 5.163, 5.164, 5.167, 5.186, 5.192, 5.197, 5.198, 5.204, 5.223, 5.225, 5.244, 5.257, 5.259, 5.266, 5.268, 5.290, 5.298, 5.299, 5.308, 5.335, 5.336, 5.343, 5.373, 5.388, 5.395, 5.396, 5.398, 5.399, 5.420.
Apt K. R.
3.1, 4.5.2.4.1.
arc-consistency
3.7.12, 5.1, 5.12, 5.15, 5.16, 5.17, 5.18, 5.20, 5.23, 5.24, 5.25, 5.26, 5.27, 5.28, 5.30, 5.31, 5.32, 5.36, 5.37, 5.39, 5.58, 5.59, 5.60, 5.69, 5.70, 5.80, 5.81, 5.82, 5.83, 5.84, 5.87, 5.91, 5.92, 5.110, 5.114, 5.121, 5.132, 5.136, 5.137, 5.138, 5.139, 5.140, 5.141, 5.142, 5.144, 5.145, 5.146, 5.148, 5.149, 5.150, 5.154, 5.155, 5.161, 5.162, 5.164, 5.168, 5.174, 5.176, 5.177, 5.178, 5.179, 5.180, 5.181, 5.182, 5.185, 5.186, 5.187, 5.195, 5.196, 5.199, 5.200, 5.217, 5.218, 5.220, 5.222, 5.223, 5.224, 5.225, 5.226, 5.227, 5.228, 5.229, 5.230, 5.231, 5.232, 5.238, 5.249, 5.262, 5.270, 5.272, 5.273, 5.281, 5.282, 5.283, 5.302, 5.303, 5.308, 5.317, 5.326, 5.334, 5.336, 5.341, 5.346, 5.356, 5.358, 5.374, 5.375, 5.376, 5.377, 5.379, 5.380, 5.395, 5.403, 5.408, 5.410, 5.412, 5.418, 5.421.
arithmetic constraint
3.7.13, 5.1, 5.33, 5.129, 5.132, 5.133, 5.149, 5.150, 5.158, 5.161, 5.162, 5.174, 5.190, 5.217, 5.218, 5.238, 5.269, 5.272, 5.273, 5.302, 5.325, 5.327, 5.330, 5.332, 5.341, 5.342, 5.346, 5.384, 5.385, 5.389, 5.390, 5.391, 5.392, 5.393, 5.422, 5.423.
array constraint
3.7.14, 5.137, 5.138, 5.139, 5.140, 5.141, 5.142, 5.143, 5.144, 5.147.
Artiouchine K.
5.11, 5.126.
Asaf S.
5.204.
Asef-Vaziri A.
5.67.
Asratian A. S.
5.12.
assigning and scheduling tasks that run in parallel
3.7.15, 5.118, 5.159, 5.160,
assignment
3.7.16, 5.34, 5.35, 5.43, 5.45, 5.46, 5.47, 5.53, 5.54, 5.58, 5.59, 5.163, 5.164, 5.167, 5.186, 5.192, 5.197, 5.198, 5.204, 5.244, 5.257, 5.259, 5.266, 5.298, 5.299, 5.308, 5.335, 5.336, 5.388, 5.398, 5.399, 5.420.
assignment dimension
3.7.17, 5.26, 5.34, 5.35, 5.53, 5.54, 5.57, 5.74, 5.91, 5.92, 5.96, 5.101, 5.118, 5.159, 5.160, 5.197, 5.198, 5.384.
assignment dimension added
2.6.1.
assignment dimension removed
2.6.2.
assignment to the same set of values
3.7.18, 5.53, 5.54, 5.101, 5.118, 5.137, 5.139, 5.159, 5.160,
at least
3.7.19, 5.36, 5.58, 5.296.
at most
3.7.20, 5.39, 5.59, 5.60, 5.268, 5.297.
attached to cost variant
2.6.3.
automaton
3.7.21, 5.6, 5.7, 5.8, 5.9, 5.12, 5.16, 5.17, 5.18, 5.19, 5.21, 5.23, 5.24, 5.25, 5.26, 5.27, 5.30, 5.31, 5.32, 5.33, 5.34, 5.36, 5.39, 5.43, 5.45, 5.46, 5.50, 5.51, 5.52, 5.53, 5.58, 5.59, 5.61, 5.62, 5.63, 5.65, 5.68, 5.69, 5.70, 5.80, 5.81, 5.82, 5.83, 5.84, 5.87, 5.91, 5.92, 5.96, 5.107, 5.108, 5.110, 5.111, 5.112, 5.113, 5.115, 5.123, 5.131, 5.136, 5.137, 5.138, 5.139, 5.140, 5.141, 5.142, 5.144, 5.145, 5.154, 5.155, 5.156, 5.157, 5.163, 5.168, 5.172, 5.173, 5.175, 5.176, 5.177, 5.178, 5.182, 5.185, 5.186, 5.187, 5.189, 5.191, 5.193, 5.195, 5.196, 5.197, 5.198, 5.199, 5.203, 5.215, 5.216, 5.222, 5.227, 5.228, 5.229, 5.230, 5.231, 5.232, 5.235, 5.236, 5.237, 5.240, 5.241, 5.244, 5.249, 5.252, 5.253, 5.254, 5.256, 5.257, 5.258, 5.260, 5.261, 5.262, 5.263, 5.264, 5.270, 5.275, 5.278, 5.279, 5.281, 5.282, 5.283, 5.286, 5.300, 5.301, 5.303, 5.317, 5.318, 5.334, 5.343, 5.349, 5.355, 5.374, 5.376, 5.377, 5.379, 5.380, 5.408, 5.410, 5.412, 5.417, 5.421.
automaton with array of counters
3.7.22, 5.12, 5.16, 5.17, 5.18, 5.19, 5.21, 5.34, 5.43, 5.45, 5.46, 5.53, 5.58, 5.59, 5.96, 5.123, 5.163, 5.197, 5.198, 5.199, 5.244, 5.256, 5.257, 5.286, 5.334, 5.412.
automaton with counters
3.7.23, 5.6, 5.7, 5.8, 5.9, 5.23, 5.24, 5.25, 5.26, 5.27, 5.33, 5.36, 5.39, 5.51, 5.52, 5.61, 5.62, 5.63, 5.65, 5.68, 5.91, 5.92, 5.107, 5.108, 5.111, 5.112, 5.113, 5.115, 5.131, 5.153, 5.155, 5.156, 5.157, 5.172, 5.173, 5.175, 5.189, 5.191, 5.193, 5.203, 5.215, 5.216, 5.235, 5.236, 5.237, 5.240, 5.241, 5.252, 5.253, 5.254, 5.258, 5.260, 5.261, 5.318, 5.349, 5.355, 5.417.
automaton with same input symbol
3.7.24, 5.6, 5.7, 5.8, 5.9, 5.62, 5.111, 5.112, 5.113, 5.157, 5.168, 5.172, 5.173, 5.175, 5.189, 5.191, 5.193, 5.236, 5.237, 5.253, 5.258, 5.260, 5.278, 5.279, 5.318, 5.417.
automaton without counters
3.7.25, 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.
autoref
3.7.26, 5.163.
Ågren M.
1.3, 3.7.182, 5.159, 5.225, 5.226.

B

Bacchus F.
3.7.216, 5.23.
balanced assignment
3.7.27, 5.43, 5.45, 5.46, 5.47, 5.249.
balanced tree
3.7.28, 5.404.
Baptiste P.
5.11, 5.96, 5.126.
Barichard V.
5.12.
Barnes F. W.
3.7.179.
Barnier N.
5.204.
Bartak R.
3.7.173,
Baues G.
1.3.
Becket R.
4.5.2.1.
Beeri C.
3.7.29.
Beldiceanu N.
1, 1, 2, 2.1.7, 2.4, 2.4.1, 3.2, 3.7.25, 3.7.39, 3.7.49, 3.7.71, 3.7.120.1, 3.7.138, 3.7.182, 3.7.184, 3.7.209, 3.7.226, 3.7.235, 3.7.243, 3.7.252, 4.1, 4.5.1, 5.23, 5.26, 5.28, 5.34, 5.35, 5.41, 5.43, 5.53, 5.57, 5.61, 5.64, 5.75, 5.85, 5.96, 5.101, 5.103, 5.114, 5.118, 5.123, 5.130, 5.159, 5.160, 5.170, 5.186, 5.187, 5.190, 5.192, 5.193, 5.196, 5.203, 5.220, 5.222, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.242, 5.243, 5.248, 5.249, 5.255, 5.256, 5.257, 5.259, 5.262, 5.264, 5.271, 5.274, 5.275, 5.276, 5.277, 5.285, 5.286, 5.309, 5.313, 5.319, 5.320, 5.323, 5.329, 5.331, 5.334, 5.335, 5.336, 5.345, 5.347, 5.349, 5.351, 5.352, 5.355, 5.361, 5.373, 5.388, 5.395, 5.400, 5.403, 5.412, 5.419.
Berge C.
2, 2.3.2.3, 2.3.2.4, 5.12.
Berge-acyclic constraint network
3.7.29, 5.23, 5.30, 5.31, 5.32, 5.61, 5.65, 5.69, 5.70, 5.80, 5.81, 5.82, 5.83, 5.84, 5.87, 5.145, 5.154, 5.168, 5.176, 5.178, 5.186, 5.187, 5.195, 5.196, 5.222, 5.227, 5.228, 5.229, 5.230, 5.231, 5.232, 5.270, 5.281, 5.303, 5.317, 5.355, 5.376, 5.377, 5.408, 5.410, 5.421.
Berliner H. J.
5.66.
Berthier F.
3.1.
Bessière C.
1.3, 2, 3.2, 3.7.12, 3.7.38, 4.3.4.3, 5.12, 5.23, 5.37, 5.41, 5.75, 5.164, 5.204, 5.286, 5.333, 5.359, 5.360, 5.416.
binary constraint
3.7.30, 5.1, 5.132, 5.133, 5.140, 5.141, 5.144, 5.149, 5.150, 5.151, 5.161, 5.162, 5.174, 5.179, 5.182, 5.217, 5.218, 5.238, 5.269, 5.272, 5.273, 5.302, 5.341, 5.346, 5.374, 5.392, 5.422.
Bininda-Emonds O. R.
5.373.
bioinformatics
3.7.31, 5.2, 5.343, 5.373.
bipartite
3.7.32, 5.19, 5.22, 5.26, 5.29, 5.32, 5.34, 5.35, 5.53, 5.56, 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.107, 5.108, 5.110, 5.202, 5.228, 5.410, 5.416.
bipartite matching
3.7.33, 5.12, 5.13, 5.15, 5.16, 5.37, 5.90, 5.123, 5.199, 5.220, 5.334, 5.360, 5.365, 5.369, 5.398, 5.412.
bipartite matching in convex bipartite graphs
3.7.34, 5.12, 5.15.
Bleuzen-Guernalec N.
5.12, 5.371.
Bockmayr A.
5.66, 5.316, 5.381, 5.401.
Bohlin M.
2.
Boolean channel
3.7.35, 5.136.
Boolean constraint
3.7.36, 5.30, 5.69, 5.70, 5.154, 5.176, 5.270, 5.281, 5.303, 5.421,
Bordeaux L.
2.
border
3.7.37, 5.319.
bound(D) consistency
3.7.38.
bound(Z) consistency
3.7.38.
bound-consistency
3.7.38, 5.11, 5.12, 5.40, 5.41, 5.163, 5.164, 5.190, 5.204, 5.268, 5.286, 5.334, 5.336, 5.351, 5.356, 5.357, 5.371, 5.386, 5.387, 5.412.
Bourdais S.
2.4.1, 5.163, 5.181, 5.317.
Bourreau É.
1.3, 2, 3.7.39, 3.7.235, 3.7.243, 5.103, 5.104, 5.106.
Bouwkamp C. J.
3.7.243.
Brand S.
1.3, 4.5.2.1, 5.28, 5.387.
Brisset P.
1.3, 5.204.
Bron C.
3.7.148, 5.11, 5.12, 5.71, 5.126.
business rules
3.7.39, 5.103, 5.118, 5.159.

C

Cambazard H.
1.3, 5.53, 5.392.
Caprara A.
3.7.235.
Carillon J.-P.
2.4.1, 5.139.
Carlier J.
3.7.264, 5.126.
Carlson B.
3.1, 3.3.4.
Carlsson M.
1, 1, 2, 2.4, 3.1, 3.2, 3.3.4, 3.7.25, 3.7.39, 3.7.71, 3.7.120.1, 3.7.138, 3.7.182, 3.7.184, 3.7.209, 3.7.226, 3.7.243, 3.7.252, 4.5.1, 5.28, 5.64, 5.96, 5.101, 5.118, 5.123, 5.159, 5.160, 5.220, 5.222, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.271, 5.274, 5.276, 5.277, 5.286, 5.331, 5.351, 5.388.
Carravilla M. A.
5.118.
Caseau Y.
3.2, 5.96.
Cayley A.
5.329.
centered cyclic(1) constraint network(1)
3.7.40, 5.50, 5.136, 5.177, 5.249, 5.262, 5.263, 5.283, 5.300, 5.301.
centered cyclic(2) constraint network(1)
3.7.41, 5.137, 5.139, 5.140, 5.141, 5.144, 5.182, 5.264, 5.374.
centered cyclic(3) constraint network(1)
3.7.42, 5.142, 5.275.
Chabert G.
1.3, 3.7.228, 5.23, 5.290.
Chan P.
1.3, 3.7.235.
channel routing
3.7.43, 5.85.
channelling constraint
3.7.44, 5.57, 5.136, 5.199, 5.200, 5.201, 5.202, 5.234, 5.334.
characteristic of a constraint
3.6.2, 5.2, 5.3, 5.4, 5.6, 5.7, 5.8, 5.9, 5.10, 5.11, 5.12, 5.13, 5.14, 5.15, 5.16, 5.17, 5.18, 5.19, 5.20, 5.21, 5.22, 5.23, 5.24, 5.25, 5.26, 5.27, 5.28, 5.30, 5.31, 5.32, 5.33, 5.34, 5.36, 5.38, 5.39, 5.42, 5.43, 5.45, 5.46, 5.47, 5.50, 5.51, 5.52, 5.53, 5.58, 5.59, 5.60, 5.61, 5.62, 5.63, 5.64, 5.65, 5.68, 5.69, 5.70, 5.73, 5.74, 5.77, 5.78, 5.80, 5.81, 5.82, 5.83, 5.84, 5.85, 5.87, 5.88, 5.90, 5.91, 5.92, 5.96, 5.97, 5.98, 5.99, 5.100, 5.101, 5.103, 5.104, 5.106, 5.107, 5.108, 5.110, 5.111, 5.112, 5.113, 5.114, 5.115, 5.116, 5.117, 5.118, 5.123, 5.126, 5.131, 5.136, 5.137, 5.138, 5.139, 5.140, 5.141, 5.142, 5.144, 5.145, 5.147, 5.148, 5.151, 5.153, 5.154, 5.155, 5.156, 5.157, 5.163, 5.168, 5.169, 5.172, 5.173, 5.175, 5.176, 5.177, 5.178, 5.179, 5.181, 5.182, 5.184, 5.185, 5.186, 5.187, 5.189, 5.190, 5.191, 5.193, 5.195, 5.196, 5.197, 5.198, 5.199, 5.203, 5.204, 5.206, 5.207, 5.208, 5.209, 5.210, 5.211, 5.212, 5.213, 5.214, 5.215, 5.216, 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.234, 5.235, 5.236, 5.237, 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.253, 5.254, 5.255, 5.256, 5.257, 5.258, 5.259, 5.260, 5.261, 5.262, 5.263, 5.264, 5.265, 5.266, 5.270, 5.271, 5.273, 5.275, 5.276, 5.278, 5.279, 5.281, 5.282, 5.283, 5.284, 5.285, 5.286, 5.289, 5.290, 5.291, 5.294, 5.300, 5.301, 5.303, 5.304, 5.305, 5.306, 5.307, 5.309, 5.317, 5.318, 5.320, 5.321, 5.322, 5.327, 5.329, 5.330, 5.331, 5.333, 5.334, 5.338, 5.339, 5.340, 5.342, 5.343, 5.347, 5.348, 5.349, 5.350, 5.351, 5.353, 5.354, 5.355, 5.359, 5.360, 5.363, 5.364, 5.367, 5.368, 5.370, 5.371, 5.372, 5.374, 5.375, 5.376, 5.377, 5.379, 5.380, 5.383, 5.384, 5.385, 5.387, 5.389, 5.390, 5.391, 5.392, 5.393, 5.395, 5.396, 5.397, 5.401, 5.402, 5.405, 5.406, 5.407, 5.408, 5.410, 5.412, 5.413, 5.414, 5.415, 5.417, 5.418, 5.420, 5.421, 5.423.
Charlier P.
1.3.
Charman P.
3.7.104.
CHARME
3.1, 5.163.
Cheadle A. M.
3.1.
Cheng K. C.K.
3.2.
Cheng K.-H.
5.118.
CHIP
3.1, 3.7.67, 5.15, 5.23, 5.36, 5.39, 5.61, 5.66, 5.96, 5.103, 5.104, 5.106, 5.119, 5.120, 5.139, 5.142, 5.144, 5.172, 5.199, 5.229, 5.230, 5.231, 5.232, 5.249, 5.262, 5.282, 5.331, 5.351, 5.361, 5.400.
Choco
1, 3.1, 3.3.4, 3.6.14, 5.139, 5.374.
Chu G.
2.
Chvátal V.
5.66.
circuit
3.7.45, 5.44, 5.66, 5.102, 5.103, 5.328, 5.395, 5.397.
circular sliding cyclic(1) constraint network(2)
3.7.46, 5.68.
Clautiaux F.
1.3, 3.7.264.
cluster
3.7.47, 5.67.
Coffman E. G.
5.53.
Cohn A. G.
3.7.204, 5.89, 5.93, 5.94, 5.124, 5.152, 5.194, 5.251, 5.314.
Coletta R.
2.
collection generator
2.3.2, 2.3.2.1, 2.3.2.3.
Collet R.
5.134.
Colmerauer A.
5.12, 5.371.
coloured
3.7.48, 5.34, 5.73, 5.74, 5.104, 5.197.
combinatorial object
3.6.3, 5.6, 5.7, 5.8, 5.9, 5.12, 5.14, 5.28, 5.33, 5.44, 5.48, 5.51, 5.52, 5.62, 5.66, 5.67, 5.90, 5.103, 5.104, 5.111, 5.112, 5.113, 5.114, 5.118, 5.134, 5.147, 5.157, 5.159, 5.168, 5.172, 5.173, 5.175, 5.181, 5.189, 5.191, 5.193, 5.199, 5.204, 5.207, 5.208, 5.209, 5.210, 5.211, 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.305, 5.315, 5.316, 5.318, 5.319, 5.320, 5.321, 5.322, 5.324, 5.328, 5.331, 5.334, 5.335, 5.336, 5.338, 5.339, 5.340, 5.343, 5.347, 5.348, 5.349, 5.350, 5.351, 5.371, 5.372, 5.376, 5.377, 5.395, 5.396, 5.397, 5.398, 5.399, 5.400, 5.401, 5.412, 5.417.
common keyword
2.6.4.
comparison swapped
2.6.5.
complexity
3.6.4, 5.41, 5.75, 5.96, 5.101, 5.118, 5.122, 5.126, 5.163, 5.204, 5.207, 5.286, 5.290, 5.357, 5.416, 5.420.
compulsory part
3.7.49, 5.73, 5.74, 5.96, 5.97, 5.98, 5.99, 5.101, 5.118, 5.126.
conditional constraint
3.7.50, 5.347, 5.348.
Condon A. E.
5.2, 5.115.
configuration
3.7.51, 3.7.173.
configuration problem
3.7.51, 5.143.
connected component
3.7.52, 5.19, 5.44, 5.48, 5.49, 5.55, 5.62, 5.86, 5.103, 5.104, 5.106, 5.168, 5.172, 5.205, 5.239, 5.287, 5.315, 5.329, 5.400, 5.403, 5.404, 5.405.
Connors D. P.
5.204.
consecutive loops are connected
3.7.53, 5.172, 5.376, 5.377.
consecutive values
3.7.54, 5.248, 5.259, 5.285,
constraint arguments
3.6.7, 5.1, 5.13, 5.19, 5.23, 5.24, 5.25, 5.27, 5.29, 5.30, 5.40, 5.43, 5.45, 5.46, 5.47, 5.51, 5.52, 5.56, 5.58, 5.59, 5.60, 5.61, 5.62, 5.63, 5.64, 5.65, 5.68, 5.71, 5.72, 5.75, 5.76, 5.77, 5.78, 5.86, 5.90, 5.95, 5.103, 5.107, 5.108, 5.109, 5.113, 5.117, 5.118, 5.121, 5.122, 5.129, 5.130, 5.131, 5.132, 5.133, 5.134, 5.137, 5.139, 5.140, 5.141, 5.142, 5.143, 5.144, 5.146, 5.149, 5.150, 5.151, 5.154, 5.155, 5.157, 5.158, 5.159, 5.161, 5.162, 5.163, 5.166, 5.167, 5.170, 5.171, 5.172, 5.173, 5.174, 5.175, 5.176, 5.177, 5.178, 5.179, 5.180, 5.182, 5.183, 5.193, 5.199, 5.200, 5.201, 5.205, 5.215, 5.216, 5.217, 5.218, 5.234, 5.235, 5.236, 5.237, 5.238, 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.269, 5.270, 5.271, 5.272, 5.273, 5.274, 5.277, 5.281, 5.283, 5.284, 5.285, 5.286, 5.287, 5.290, 5.292, 5.293, 5.294, 5.295, 5.296, 5.297, 5.298, 5.299, 5.302, 5.303, 5.304, 5.310, 5.316, 5.318, 5.319, 5.320, 5.321, 5.325, 5.329, 5.332, 5.333, 5.334, 5.335, 5.336, 5.337, 5.338, 5.339, 5.340, 5.341, 5.344, 5.346, 5.347, 5.348, 5.355, 5.362, 5.363, 5.364, 5.365, 5.366, 5.367, 5.368, 5.369, 5.371, 5.372, 5.374, 5.381, 5.382, 5.386, 5.388, 5.392, 5.394, 5.398, 5.399, 5.401, 5.407, 5.412, 5.413, 5.414, 5.415, 5.416, 5.417, 5.421, 5.422.
constraint between three collections of variables
3.7.56, 5.90, 5.372.
constraint between two collections of variables
3.7.55, 5.19, 5.75, 5.76, 5.77, 5.78, 5.334, 5.335, 5.336, 5.337, 5.338, 5.339, 5.340, 5.362, 5.363, 5.364, 5.365, 5.366, 5.367, 5.368, 5.369, 5.371, 5.412, 5.413, 5.414, 5.415, 5.416.
constraint involving set variables
3.7.57, 5.13, 5.40, 5.56, 5.71, 5.86, 5.109, 5.122, 5.134, 5.151, 5.171, 5.183, 5.201, 5.205, 5.234, 5.294, 5.295, 5.296, 5.297, 5.298, 5.299, 5.316, 5.329, 5.333, 5.344, 5.381, 5.382, 5.386, 5.392, 5.394, 5.398, 5.399, 5.401,
constraint network structure
3.6.5, 5.6, 5.7, 5.8, 5.9, 5.23, 5.24, 5.25, 5.26, 5.27, 5.30, 5.31, 5.32, 5.36, 5.39, 5.50, 5.61, 5.62, 5.63, 5.65, 5.68, 5.69, 5.70, 5.80, 5.81, 5.82, 5.83, 5.84, 5.87, 5.91, 5.92, 5.107, 5.108, 5.110, 5.111, 5.112, 5.113, 5.115, 5.131, 5.136, 5.137, 5.139, 5.140, 5.141, 5.142, 5.144, 5.145, 5.154, 5.155, 5.157, 5.168, 5.172, 5.173, 5.175, 5.176, 5.177, 5.178, 5.182, 5.185, 5.186, 5.187, 5.189, 5.191, 5.193, 5.195, 5.196, 5.203, 5.215, 5.216, 5.222, 5.227, 5.228, 5.229, 5.230, 5.231, 5.232, 5.235, 5.249, 5.253, 5.258, 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.318, 5.349, 5.355, 5.374, 5.376, 5.377, 5.379, 5.380, 5.408, 5.410, 5.417, 5.421.
constraint on the intersection
3.7.58, 5.19, 5.75, 5.287, 5.337.
constraint type
3.6.6, 5.1, 5.2, 5.3, 5.4, 5.5, 5.10, 5.11, 5.12, 5.14, 5.15, 5.16, 5.17, 5.18, 5.19, 5.20, 5.21, 5.22, 5.23, 5.24, 5.25, 5.26, 5.27, 5.28, 5.29, 5.30, 5.31, 5.32, 5.33, 5.36, 5.37, 5.38, 5.39, 5.40, 5.41, 5.42, 5.43, 5.44, 5.45, 5.46, 5.47, 5.48, 5.49, 5.53, 5.54, 5.55, 5.56, 5.57, 5.58, 5.59, 5.60, 5.61, 5.62, 5.63, 5.64, 5.66, 5.67, 5.68, 5.69, 5.70, 5.71, 5.72, 5.73, 5.74, 5.75, 5.79, 5.80, 5.81, 5.82, 5.83, 5.84, 5.86, 5.88, 5.89, 5.91, 5.92, 5.93, 5.94, 5.96, 5.97, 5.98, 5.99, 5.100, 5.101, 5.102, 5.103, 5.104, 5.105, 5.106, 5.107, 5.108, 5.109, 5.110, 5.114, 5.115, 5.116, 5.117, 5.118, 5.119, 5.120, 5.121, 5.122, 5.123, 5.124, 5.125, 5.126, 5.127, 5.128, 5.129, 5.130, 5.131, 5.132, 5.133, 5.134, 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.151, 5.152, 5.154, 5.155, 5.157, 5.158, 5.159, 5.160, 5.161, 5.162, 5.163, 5.164, 5.165, 5.166, 5.170, 5.171, 5.172, 5.173, 5.174, 5.176, 5.177, 5.178, 5.179, 5.180, 5.181, 5.182, 5.183, 5.184, 5.185, 5.186, 5.187, 5.188, 5.190, 5.194, 5.195, 5.196, 5.197, 5.198, 5.199, 5.200, 5.202, 5.203, 5.204, 5.205, 5.206, 5.207, 5.208, 5.209, 5.210, 5.211, 5.212, 5.213, 5.214, 5.215, 5.216, 5.217, 5.218, 5.219, 5.220, 5.222, 5.223, 5.224, 5.225, 5.226, 5.229, 5.230, 5.231, 5.232, 5.233, 5.234, 5.235, 5.238, 5.239, 5.242, 5.243, 5.244, 5.248, 5.249, 5.250, 5.251, 5.255, 5.256, 5.257, 5.259, 5.262, 5.263, 5.264, 5.265, 5.267, 5.268, 5.269, 5.270, 5.271, 5.272, 5.273, 5.274, 5.275, 5.276, 5.277, 5.280, 5.281, 5.282, 5.283, 5.284, 5.285, 5.286, 5.287, 5.288, 5.289, 5.290, 5.291, 5.294, 5.295, 5.296, 5.297, 5.298, 5.299, 5.300, 5.301, 5.302, 5.303, 5.306, 5.307, 5.308, 5.309, 5.310, 5.312, 5.314, 5.315, 5.316, 5.317, 5.319, 5.320, 5.321, 5.322, 5.323, 5.325, 5.326, 5.327, 5.328, 5.329, 5.330, 5.331, 5.332, 5.333, 5.335, 5.336, 5.337, 5.341, 5.342, 5.343, 5.344, 5.345, 5.346, 5.347, 5.348, 5.349, 5.350, 5.351, 5.352, 5.353, 5.354, 5.355, 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.370, 5.373, 5.374, 5.375, 5.376, 5.377, 5.378, 5.379, 5.380, 5.381, 5.382, 5.383, 5.384, 5.385, 5.386, 5.387, 5.388, 5.389, 5.390, 5.391, 5.392, 5.393, 5.394, 5.395, 5.396, 5.397, 5.398, 5.399, 5.400, 5.401, 5.402, 5.403, 5.404, 5.405, 5.406, 5.408, 5.409, 5.410, 5.411, 5.418, 5.419, 5.420, 5.421, 5.422, 5.423.
constructive disjunction
3.7.59, 5.118, 5.126, 5.410.
contact
3.7.60, 5.313, 5.408.
container
3.7.17, 5.160,
Contejean E.
1.3, 2.4.1, 5.23, 5.26, 5.28, 5.103, 5.114, 5.118, 5.395, 5.400.
contractibility
3.7.173.
contractible
3.7.61.
convex
3.7.62, 5.97, 5.168.
convex bipartite graph
3.7.63, 5.12, 5.15, 5.286.
convex hull relaxation
3.7.64, 5.383.
Conway packing problem
3.7.65, 5.118, 5.159.
core
3.7.66, 5.12, 5.96, 5.103, 5.118, 5.126, 5.139, 5.163, 5.266, 5.286, 5.371.
Cormen T. H.
5.95.
Corn R. M.
5.2, 5.115.
Cornelissens T.
3.7.196.
cost filtering constraint
3.7.68, 5.80, 5.167, 5.266, 5.388, 5.420,
cost matrix
3.7.69, 5.167, 5.266.
cost variant
2.6.6.
Costa M.-C.
5.12.
Costas arrays
3.7.67, 5.12.
Coté M.-C.
1.1, 3.2, 3.7.136.
counting constraint
3.7.70, 5.23, 5.24, 5.25, 5.26, 5.27, 5.29, 5.37, 5.38, 5.41, 5.42, 5.79, 5.91, 5.92, 5.121, 5.155, 5.163, 5.164, 5.187, 5.188, 5.215, 5.216, 5.244, 5.257, 5.271, 5.274, 5.277, 5.284, 5.286, 5.287, 5.288, 5.289, 5.290, 5.291, 5.295, 5.298, 5.299, 5.306, 5.307, 5.309, 5.333, 5.349,
Cousin X.
5.197.
Cousot P.
3.7.3.
Cousot R.
3.7.3.
Croft H. T.
3.7.243.
crossable unavailability period
3.7.225.
Cui Z.
3.7.204, 5.89, 5.93, 5.94, 5.124, 5.152, 5.194, 5.251, 5.314.
cumulative longest hole problems
3.7.71, 5.96.
Cunningham S.
2.
cycle
3.7.72, 5.44, 5.103, 5.395, 5.397.
cyclic
3.7.73, 5.68, 5.107, 5.108, 5.375.
Cymer R.
1.3, 5.12, 5.16, 5.90, 5.199, 5.334, 5.360, 5.365, 5.369, 5.395, 5.396, 5.397, 5.398, 5.401, 5.412.

D

data constraint
3.7.74, 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.181, 5.203, 5.275, 5.276, 5.374, 5.383,
Davern P.
2.
De Clercq A.
5.361.
deadlock breaking
3.7.75, 5.102.
Debruyne R.
1.3.
Deces F.
1.3.
Dechter R.
2.3.1, 3.7.9, 3.7.118.
decomposition
3.7.76, 5.2, 5.3, 5.4, 5.10, 5.11, 5.28, 5.31, 5.32, 5.33, 5.110, 5.118, 5.119, 5.120, 5.122, 5.126, 5.127, 5.128, 5.136, 5.159, 5.160, 5.185, 5.204, 5.206, 5.207, 5.208, 5.209, 5.210, 5.211, 5.212, 5.213, 5.214, 5.220, 5.223, 5.224, 5.225, 5.226, 5.234, 5.310, 5.326, 5.333, 5.343, 5.350, 5.351, 5.379, 5.380, 5.398, 5.399, 5.419.
decomposition-based violation measure
3.7.77, 5.5, 5.12, 5.357, 5.359.
degree of diversity of a set of solutions
3.7.79, 5.223, 5.225, 5.359,
demand profile
3.7.78, 5.101, 5.335, 5.336.
Demassey S.
1.3, 3.2, 5.23, 5.96.
Denley T. M. J.
5.12.
Denmat T.
5.158, 5.325.
Deo N.
5.66.
derived collection
2.3.2.1, 2.3.2.3, 2.3.3.2, 3.7.80, 4.5.1, 5.34, 5.90, 5.99, 5.100, 5.101, 5.106, 5.136, 5.139, 5.142, 5.144, 5.148, 5.169, 5.177, 5.178, 5.181, 5.182, 5.229, 5.230, 5.231, 5.232, 5.234, 5.264, 5.275, 5.276, 5.283, 5.353, 5.372, 5.402, 5.405, 5.407.
Deville Y.
3.2, 3.7.27, 3.7.59, 3.7.252, 5.122, 5.134, 5.382.
DFS-bottleneck
3.7.81, 5.12, 5.44, 5.48, 5.49, 5.56, 5.66, 5.86, 5.103, 5.114, 5.163, 5.164, 5.239, 5.315, 5.328, 5.334, 5.401, 5.403, 5.412.
Di Battista G.
5.407.
Diedrich F.
3.7.225.
difference
3.7.82, 5.169, 5.387.
difference between pairs of variables
3.7.83, 5.220, 5.221.
Dincbas M.
1.3, 3.1, 5.204.
directed acyclic graph
3.7.84, 5.102.
disequality
3.7.85, 5.2, 5.3, 5.4, 5.12, 5.13, 5.14, 5.15, 5.123, 5.147, 5.169, 5.204, 5.206, 5.227, 5.273, 5.282, 5.283, 5.294, 5.322, 5.333, 5.347, 5.348, 5.359, 5.360, 5.395, 5.397.
disjunction
3.7.86, 5.32, 5.70, 5.118, 5.126, 5.127, 5.128, 5.137, 5.139, 5.159, 5.160, 5.303.
domain channel
3.7.87, 5.136.
domain consistency
3.7.12.
domain definition
3.7.88, 5.31, 5.135, 5.177, 5.178, 5.180, 5.283.
dominating queens
3.7.89, 5.286.
domination
3.7.90, 5.38, 5.42, 5.286, 5.288, 5.290, 5.291, 5.388.
Dooms G.
1.3, 2.2.1, 2.2.2, 3.1, 3.2, 5.56, 5.86, 5.109, 5.394, 5.403.
double counting
5.163.
Dowsland K. A.
3.7.179.
dual model
3.7.91, 5.199, 5.200, 5.201, 5.202.
DuBoisberranger J.
3.7.81.
Ducassé M.
5.158, 5.325.
Duck G. J.
4.5.2.1.
Dudeney H. E.
2.
Duijvestijn A. J. W.
3.7.243,
duplicated variables
3.7.92, 5.163, 5.204, 5.229, 5.230, 5.231, 5.232, 5.342, 5.375.
Dupont P.
3.2, 3.7.27, 5.122, 5.382.
dynamic graph constraint
𝚊𝚜𝚜𝚒𝚐𝚗_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝𝚜
5.34.
𝚊𝚜𝚜𝚒𝚐𝚗_𝚊𝚗𝚍_𝚗𝚟𝚊𝚕𝚞𝚎𝚜
5.35.
𝚋𝚒𝚗_𝚙𝚊𝚌𝚔𝚒𝚗𝚐
5.53.
𝚌𝚒𝚛𝚌𝚞𝚒𝚝_𝚌𝚕𝚞𝚜𝚝𝚎𝚛
5.67.
𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍_𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎
5.73.
𝚌𝚘𝚕𝚘𝚞𝚛𝚎𝚍_𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜
5.74.
𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎
5.96.
𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎_𝚌𝚘𝚗𝚟𝚎𝚡
5.97.
𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎_𝚙𝚛𝚘𝚍𝚞𝚌𝚝
5.98.
𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎_𝚠𝚒𝚝𝚑_𝚕𝚎𝚟𝚎𝚕_𝚘𝚏_𝚙𝚛𝚒𝚘𝚛𝚒𝚝𝚢
5.100.
𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜
5.101.
𝚌𝚢𝚌𝚕𝚎_𝚌𝚊𝚛𝚍_𝚘𝚗_𝚙𝚊𝚝𝚑
5.104.
𝚌𝚢𝚌𝚕𝚎_𝚘𝚛_𝚊𝚌𝚌𝚎𝚜𝚜𝚒𝚋𝚒𝚕𝚒𝚝𝚢
5.105.
𝚒𝚗𝚍𝚎𝚡𝚎𝚍_𝚜𝚞𝚖
5.192.
𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝
5.197.
𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚜𝚞𝚖
5.198.
𝚖𝚒𝚗𝚒𝚖𝚞𝚖_𝚐𝚛𝚎𝚊𝚝𝚎𝚛_𝚝𝚑𝚊𝚗
5.264.
𝚗𝚎𝚡𝚝_𝚎𝚕𝚎𝚖𝚎𝚗𝚝
5.275.
𝚗𝚎𝚡𝚝_𝚐𝚛𝚎𝚊𝚝𝚎𝚛_𝚎𝚕𝚎𝚖𝚎𝚗𝚝
5.276.
𝚜𝚑𝚒𝚏𝚝
5.345.
𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚌𝚊𝚛𝚍_𝚜𝚔𝚒𝚙0
5.349.
𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚝𝚒𝚖𝚎_𝚠𝚒𝚗𝚍𝚘𝚠
5.352.
𝚜𝚕𝚒𝚍𝚒𝚗𝚐_𝚝𝚒𝚖𝚎_𝚠𝚒𝚗𝚍𝚘𝚠_𝚜𝚞𝚖
5.354.
𝚝𝚛𝚊𝚌𝚔
5.402.
dynamic programming
3.7.93, 5.61, 5.96, 5.355, 5.375, 5.376.
dynamic wavelength routing
3.7.133.
Dürr C.
5.12.

E

Eades P.
5.407.
ECLAIR
3.1.
ECLiPSe
3.1, 4.5.2.1, 4.5.2.4.1.
Elbassioni K. M.
5.204, 5.207, 5.211.
Elf M.
5.66, 5.316, 5.381, 5.401.
empty intersection
3.7.94, 5.123, 5.206.
entailment
3.7.95, 5.12, 5.26, 5.164, 5.249, 5.262, 5.283.
Eppstein D.
5.12.
equality
3.7.96, 5.151.
equality between multisets
3.7.97, 5.207, 5.334, 5.335, 5.336.
equivalence
3.7.98, 5.37, 5.38, 5.41, 5.42, 5.43, 5.45, 5.46, 5.47, 5.187, 5.244, 5.257, 5.271, 5.274, 5.277, 5.282, 5.284, 5.286, 5.288, 5.290, 5.291, 5.360.
Eran H.
5.204.
Erschler J.
5.96.
Euler knight
3.7.99, 5.12, 5.103.
Euler L.
2.
excluded
3.7.100, 5.283.
Extensible
3.7.101.
extension
3.7.102, 5.181.

F

FaCile
3.1.
facilities location problem
3.7.103, 5.105, 5.388.
Fages F.
1.3, 5.102.
Fages J.-G.
1.3, 5.403.
Fagin R.
3.7.9, 3.7.29.
Fahle T.
5.71.
Falconer K. J.
3.7.243.
Falkenhainer B.
5.348.
Falkowski B.-J.
3.7.164.
Faltings B.
3.7.173.
Favaron O.
4.3.4.3.
Fekete S. P.
3.7.216.
Feldman J.
2.
Festa P.
3.7.154.
filtering
3.6.8, 5.1, 5.11, 5.12, 5.13, 5.15, 5.16, 5.17, 5.18, 5.20, 5.23, 5.24, 5.25, 5.26, 5.27, 5.28, 5.30, 5.31, 5.32, 5.36, 5.37, 5.39, 5.40, 5.41, 5.44, 5.48, 5.49, 5.56, 5.58, 5.59, 5.60, 5.61, 5.62, 5.66, 5.69, 5.70, 5.73, 5.74, 5.80, 5.81, 5.82, 5.83, 5.84, 5.86, 5.87, 5.90, 5.91, 5.92, 5.96, 5.97, 5.98, 5.99, 5.101, 5.103, 5.110, 5.113, 5.114, 5.118, 5.121, 5.123, 5.126, 5.132, 5.136, 5.137, 5.138, 5.139, 5.140, 5.141, 5.142, 5.144, 5.145, 5.146, 5.148, 5.149, 5.150, 5.154, 5.155, 5.157, 5.158, 5.159, 5.160, 5.161, 5.162, 5.163, 5.164, 5.165, 5.166, 5.167, 5.168, 5.172, 5.173, 5.174, 5.175, 5.176, 5.177, 5.178, 5.179, 5.180, 5.181, 5.182, 5.185, 5.186, 5.187, 5.190, 5.193, 5.195, 5.196, 5.199, 5.200, 5.204, 5.205, 5.215, 5.216, 5.217, 5.218, 5.220, 5.222, 5.223, 5.224, 5.225, 5.226, 5.227, 5.228, 5.229, 5.230, 5.231, 5.232, 5.234, 5.235, 5.236, 5.237, 5.238, 5.239, 5.240, 5.241, 5.249, 5.252, 5.254, 5.260, 5.261, 5.262, 5.266, 5.268, 5.270, 5.272, 5.273, 5.281, 5.282, 5.283, 5.286, 5.294, 5.298, 5.299, 5.302, 5.303, 5.308, 5.315, 5.316, 5.317, 5.318, 5.319, 5.325, 5.326, 5.328, 5.329, 5.333, 5.334, 5.335, 5.336, 5.341, 5.342, 5.346, 5.351, 5.355, 5.356, 5.357, 5.358, 5.359, 5.360, 5.365, 5.369, 5.371, 5.374, 5.375, 5.376, 5.377, 5.379, 5.380, 5.381, 5.383, 5.386, 5.387, 5.388, 5.395, 5.398, 5.399, 5.401, 5.403, 5.408, 5.410, 5.412, 5.417, 5.418, 5.419, 5.420, 5.421.
final graph structure
3.6.9, 5.2, 5.3, 5.4, 5.10, 5.11, 5.12, 5.13, 5.15, 5.16, 5.17, 5.18, 5.19, 5.20, 5.22, 5.26, 5.29, 5.32, 5.34, 5.35, 5.37, 5.38, 5.41, 5.42, 5.43, 5.44, 5.45, 5.46, 5.47, 5.48, 5.49, 5.53, 5.55, 5.56, 5.58, 5.59, 5.60, 5.61, 5.62, 5.63, 5.64, 5.66, 5.67, 5.71, 5.75, 5.76, 5.77, 5.78, 5.85, 5.86, 5.90, 5.92, 5.95, 5.102, 5.103, 5.104, 5.105, 5.106, 5.107, 5.108, 5.110, 5.114, 5.168, 5.172, 5.173, 5.187, 5.202, 5.205, 5.228, 5.239, 5.244, 5.257, 5.266, 5.271, 5.274, 5.277, 5.282, 5.284, 5.285, 5.286, 5.287, 5.288, 5.289, 5.290, 5.291, 5.315, 5.322, 5.324, 5.328, 5.329, 5.360, 5.373, 5.376, 5.377, 5.381, 5.394, 5.395, 5.397, 5.400, 5.403, 5.404, 5.405, 5.410, 5.416.
Fink A.
3.7.183, 5.97.
Flajolet O.
5.239.
Flamm C.
5.343.
Flener P.
1.3, 3.7.209, 5.22, 5.145, 5.219, 5.233, 5.373, 5.378, 5.403.
floor planning problem
3.7.104, 5.118, 5.159, 5.223, 5.225.
flow
3.7.105, 5.12, 5.28, 5.163, 5.164, 5.165, 5.166, 5.294, 5.298, 5.299, 5.334, 5.335, 5.336, 5.351, 5.398, 5.399, 5.412.
Focacci F.
5.121, 5.266.
Ford Jr. L. R.
5.72.
Fotso L. P.
5.96.
frequency allocation problem
3.7.106, 5.11.
Freuder E. C.
3.7.118.
Freund A.
5.204.
Friedman E.
3.7.178, 3.7.234, 3.7.236.
Frisch A. M.
2.4.1, 5.22, 5.219, 5.229, 5.230, 5.231, 5.232, 5.233, 5.378.
Frutos A. G.
5.2, 5.115.
Frühwirth T.
5.229, 5.230, 5.231, 5.232.
Fulkerson D. R.
5.72.
functional dependency
3.7.107, 5.1, 5.21, 5.23, 5.24, 5.25, 5.27, 5.29, 5.30, 5.43, 5.44, 5.45, 5.46, 5.47, 5.48, 5.49, 5.51, 5.52, 5.55, 5.58, 5.59, 5.60, 5.61, 5.62, 5.63, 5.64, 5.65, 5.68, 5.71, 5.72, 5.75, 5.76, 5.77, 5.78, 5.85, 5.95, 5.103, 5.105, 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.147, 5.149, 5.150, 5.154, 5.155, 5.156, 5.157, 5.158, 5.163, 5.166, 5.167, 5.170, 5.172, 5.173, 5.175, 5.176, 5.187, 5.190, 5.193, 5.199, 5.200, 5.215, 5.216, 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.269, 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.295, 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.346, 5.347, 5.348, 5.355, 5.371, 5.372, 5.374, 5.383, 5.388, 5.400, 5.403, 5.404, 5.407, 5.417, 5.420, 5.421.

G

Galinier P.
2.4.1, 5.163, 5.181, 5.317.
Gambini I.
5.118.
Gandibleux X.
1.3.
Gansner E. R.
3.4, 4.5.2.2.
García de la Banda M. J.
2, 4.5.2.1.
Gardy D.
3.7.81.
Garey M. R.
5.11, 5.53, 5.134, 5.407.
Gauss K. F.
5.12.
Gecode
1.3, 1, 3.1, 3.3.4, 4.5.2.1, 5.69, 5.70, 5.122, 5.134, 5.135, 5.137, 5.139, 5.177, 5.178, 5.183, 5.199, 5.200, 5.342.
Gehring H.
5.118.
Gendron B.
1.1, 3.2, 3.7.136.
generalisation
2.6.7.
generalised arc-consistency
3.7.12.
Gent I. P.
3.1, 3.7.216, 5.12, 5.373.
geometrical constraint
3.7.108, 5.85, 5.89, 5.93, 5.94, 5.95, 5.99, 5.105, 5.118, 5.119, 5.120, 5.124, 5.152, 5.159, 5.160, 5.170, 5.194, 5.251, 5.280, 5.304, 5.311, 5.312, 5.313, 5.314, 5.323, 5.324, 5.343, 5.407, 5.408, 5.409, 5.410, 5.411, 5.419,
geometry
3.6.10, 5.85, 5.89, 5.93, 5.94, 5.95, 5.99, 5.105, 5.118, 5.119, 5.120, 5.124, 5.125, 5.152, 5.159, 5.160, 5.170, 5.194, 5.251, 5.280, 5.304, 5.310, 5.311, 5.312, 5.313, 5.314, 5.323, 5.324, 5.343, 5.407, 5.408, 5.409, 5.410, 5.411, 5.419.
Georget Y.
1.3.
Georgiadis L.
5.134.
Gervet C.
5.40.
Ginsberg M. L.
3.7.135, 5.121.
Gittleman J. L.
5.373.
Glover F.
3.7.34, 5.12.
glue matrix
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.355, 5.417.
Glue matrix
3.7.109.
Golomb ruler
3.7.110, 5.12, 5.169.
Golomb S. W.
3.7.235, 5.118, 5.169, 5.324.
Golynski A.
2, 5.163.
Gomes C.
5.72.
Gondran M.
2.3.2.4, 3.7.49.
Gotlieb A.
5.158, 5.325.
Grabisch M.
3.2, 4.1.
Graf T.
3.1.
Grandcolas S.
3.7.216.
graph colouring
3.7.111, 5.12, 5.196, 5.204.
graph constraint
3.7.112, 5.44, 5.48, 5.49, 5.55, 5.56, 5.66, 5.67, 5.71, 5.86, 5.102, 5.103, 5.104, 5.105, 5.106, 5.109, 5.114, 5.134, 5.170, 5.171, 5.199, 5.200, 5.202, 5.205, 5.239, 5.315, 5.316, 5.328, 5.329, 5.373, 5.381, 5.382, 5.394, 5.395, 5.397, 5.400, 5.401, 5.403, 5.404, 5.405.
Graph invariants:
𝐌𝐀𝐗_𝐍𝐂𝐂
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.