Optimization-based methods for operations scheduling | Synapse