Integer Linear Programming Formulation