Utilizing optimization solver models for sequential automated workforce scheduling

This invention describes an automated system for creating workforce schedules. It works by breaking down the scheduling problem into three sequential steps, each handled by a specialized mathematical optimization program. First, it figures out overall staff capacity, then assigns shifts, and finally matches specific skills and tasks to employees, all while considering various rules like demand, working hours, and employee availability. The claims specify that these optimization programs can be constraint programming models.