A Comparative Study of SMT and MILP for the Nurse Rostering Problem.

Alvin Combrink, Stephie Do, Kristofer Bengtsson, Sabino Francesco Roselli, Martin Fabian

Browse the full CoDIT paper archive.