Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization