tractable mixed-integer linear programming problem