In industries like health care, public transport or call centers a shift-based system ensures permanent availability of employees for covering needed services. The resource allocation problem - assigning employees to shifts - is known as personnel scheduling in literature and often aims at...