Constraint Solving Specializations for Equality on an Interval-Variable Domain