Workforce scheduling is an essential optimization problem for any business that needs to cope with variable demand, be it during working hours, days of the week or annual seasons. Manufacturing…