Mixed Integer Nonlinear Programming (The IMA Volumes