Branching and bounds tighteningtechniques for non-convex MINLPPietro BelottiJon Leeet al.2009Optimization Methods and Software