“…& Musliu, 2017) are incomplete and thus cannot prove optimality of an instance, unless the lower bound of the objective is the optimal value. Different aspects on the torpedo scheduling problem have been studied in the literature: the routing of torpedoes through the rail network while minimizing the transportation time of the hot metal (Deng, Inoue, & Kawakami, 2011;Kikuchi, Konishi, & Imai, 2008;Liu & Wang, 2015), the molten iron allocation problem (Tang, Wang, & Liu, 2007), the molten scheduling problem (Huang, Chai, Luo, Zheng, & Wang, 2011;Li, Pan, & Duan, 2016), and the locomotive scheduling problem . All those works use different solution methods such as local search, mixed integer programming, and column generation, but none use Logic-based Benders Decomposition (Hooker & Ottosson, 2003) and Constraint Programming (CP) as we do in the present paper.…”