Integer Linear Programming Model