Integer linear programming formulation