Christian Timpe: Solving planning and scheduling problems with combined integer and constraint programming. OR Spectr. 24(4): 431-448 (2002)