An Auxiliary Function Method for Global Minimization in Integer Programming. (20th October 2011)