F. Winter: "MaxSAT Modeling and Metaheuristic Methods for the Employee Scheduling Problem"; Supervisor: N. Musliu; Institut für Informationssysteme, 2016; final examination: 2016-10.