of variables taking values from the sets
respectively, binary compatibility constraints
for
.
of variables in the subset, the corresponding
values
.
for any
[
187
] and [
40
].
Viggo Kann