Maldonado, Michelli, Rangel, Socorro, Clark, Alistair, "Reformulation-linearization technique for modelling scheduling decisions", , 2014