Solving resource allocation/Scheduling problems with constraint integer programming - Heinz, Stefan; Beck, J. Christopher (ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin, 2011)