Nonlinear integer programming - Li, Duan (Springer, 2006)