Logic-based Benders reformulations for integrated process configuration and production planning problems - Pérez Martinez, Karim; Adulyasak, Yossiri; Jans, Raf (INFORMS Journal on Computing, 2021)