A constraint-based nurse rostering system using a redundant modeling approach · Study