Optimization-based methods for operations scheduling | IEEE Journals & Magazine | IEEE Xplore