An optimization-based production scheduling software and its application | IEEE Conference Publication | IEEE Xplore