@TechReport{AchBHKW08,
  author =	 {Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch and Kati Wolter},
  title =	 {Constraint {I}nteger {P}rogramming: {T}echniques and {A}pplications},
  type =	 {ZIB-Report},
  institution =	 {Zuse Instute Berlin},
  year =	 {2008},
  number =	 {08-43}
}