Nonlinear Integer Programming and Global Optimization. JCM 1999, 17 (2), 179-190.