A unified modeling framework and improved formulations for single-hoist cyclic scheduling | Mathematics | DeepDyve