Single-machine batch scheduling under time-of-use tariffs: New mixed-integer programming approaches | IEEE Conference Publication | IEEE Xplore