Satisfiability tests and time‐bound adjustmentsfor cumulative scheduling problems · Study