C. Erkinger:
"Rotating Workforce Scheduling As Satisfiability Modulo Theories";
Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2013; Abschlussprüfung: 11/2013.
Projektleitung Nysret Musliu:
Künstliche Intelligenz in der Personalplanung