An Abstract Model for Branching and its Application to Mixed Integer Programming - Pierre Le Bodic; George L. Nemhauser (2015)