Nonlinear Integer Programming (Springer, 2006)