Cutting stock problems with usable leftover and symmetry breaking. - Ricardo Luiz de Andrade Abrantes (2012)