Effective Compilation Of Constraint Models