Different formulations for solving trim loss problems in a paper-converting mill with ILP