Mixed integer Linear Programming