A Multiple-Shift Workforce Scheduling Model Under the 4-Day Workweek With Weekday and Weekend Labour Demands