Mixed integer programs for cutting and scheduling optimization