Satisfiability tests and time-bound adjustments for cumulative scheduling problems
scientific article; zbMATH DE number 1385925