problems. Our techniques combine local branching with locally exact refinements. In an iterative strategy an existing solution … introduce generalized local branching cuts which enforce (1) and (2). Using these concepts we develop an efficient algorithm for …