@TechReport{HeiKB13TR,
  author =	 {Stefan Heinz and Wen-Yan Ku and J.\ Christopher Beck},
  title =	 {Recent improvements using constraint integer programming for resource allocation and scheduling},
  type =	 {ZIB-Report},
  institution =	 {Zuse Institute Berlin},
  year =	 {2013},
  number =	 {13-05}
}