A unified modeling framework and improved formulations for single-hoist cyclic scheduling — Markó Horváth | Kutubxona