結果 : mixed integer linear programming formulation techniques