Nonlinear integer programming - Li, Duan (International Series in Operations Research & Management Science, 2006)