Relaxation and decomposition methods for mixed integer nonlinear programming (Birkhäuser, 2005)