A comparison of integer programming formulations and variable-fixing method for the nurse scheduling problem | IEEE Conference Publication | IEEE Xplore