Resource-constrained Project Scheduling with Time-of-Use Energy Tariffs and Machine States: A Logic-based Benders Decomposition Approach. - Corentin Juvigny; Antonín Novák; Jan Mandík; Zdenek Hanzálek (CoRR, 2026)