A Comparative Study of SMT and MILP for the Nurse Rostering Problem. - Alvin Combrink; Stephie Do; Kristofer Bengtsson; Sabino Francesco Roselli; Martin Fabian (CoRR, 2025)