Mixed-integer-linear programming