@misc{indiciae1120b542347b,
  title = {A Comparative Study of SMT and MILP for the Nurse Rostering Problem},
  author = {Alvin Combrink and Stephie Do and Kristofer Bengtsson and Sabino Francesco Roselli and Martin Fabian},
  year = {2025},
  url = {https://arxiv.org/abs/2505.10328},
  note = {Source identifier: 2505.10328}
}