MILP Formulation