Set Branching in Constraint Optimization