An optimization-based production scheduling system: progress report | IEEE Conference Publication | IEEE Xplore