Mixed Integer Nonlinear Programming - Lee, Jon; Leyffer, Sven (Springer New York, 2012)