Tightened Formulation and Resolution of Energy-Efficient Job-Shop Scheduling | IEEE Conference Publication | IEEE Xplore