@TechReport{HeiSB12TR,
  author =	 {Stefan Heinz and Jens Schulz and J.\ Christopher Beck},
  title =	 {Using dual presolving reductions to reformulate cumulative constraints},
  type =	 {ZIB-Report},
  institution =	 {Zuse Institute Berlin},
  year =	 {2012},
  number =	 {12-37}
}