3.7.92. Duplicated variables
A constraint for which the situation where the same variable can occur more than once was considered in order to derive a better filtering algorithm or to prove a complexity result for achieving arc-consistency. Also in the case of the constraint, a constraint for which the reformulation duplicates some variables.