Mixed integer linear programming