@techreport{HeinzSchulzBeck2012, author = {Stefan Heinz and Jens Schulz and J. Christopher Beck}, title = {Using dual presolving reductions to reformulate cumulative constraints}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {12-37}, language = {eng}, year = {2012} }