Solving planning and scheduling problems with combined integer and constraint programming
scientific article; zbMATH DE number 1883935