Personnel Scheduling as Satisfiability Modulo Theories. - Christoph Erkinger; Nysret Musliu (IJCAI, 2017)