An analysis of formulations for the capacitated lot sizing problem with setup crossover - Fiorotto, Diego; Jans, Raf; de Araujo, Silvio Alexandre (Computers & Industrial Engineering, 2017)