Nonlinear Integer Programming - Li, Duan; Sun, Xiaoling (Springer, 2006)