So the general idea for branching is working with a larger set, larger than the feasible set. Then we have to partition the larger set until the subset yields feasible elements.