An Algorithm for Finding Global Minimum of Nonlinear Integer Programming. JCM 2004, 22 (1), 69-78.