A nurse rostering system using constraint programming and redundant modeling | IEEE Journals & Magazine | IEEE Xplore