Examinator: Knut Åkesson, Inst för elektroteknik
Handledare: Kristofer Bengtsson, Inst för elektroteknik
Shift scheduling involves allocating shifts to healthcare personnel in a way that complies with regulations and preferences. The task is laborious and time-consuming since it is often done manually. This is particularly true in the healthcare sector where many administrative tasks are allocated to qualified health care providers instead of dedicated administrators. With this in mind, a system for automating shift scheduling has been developed in this thesis to be used in healthcare services. To achieve this, a mathematical model is created that consists of 10 logically formulated constraints that are able to model a wide range of requirements. Using two independent optimization methods based on Satisfiability Modulo Theory (SMT) and Genetic Algorithms, it is demonstrated that SMT is better suited to handle a problem at this level of complexity under such restricting constraints. With the developed automatic scheduling system, a schedule that satisfies all hard constraints for a representative test case is generated in a considerably short time.