Introducing Automatically Derived Subproblem Relaxations in a Logic-Based Benders Decomposition Solver. - Sachin Rajendran; Stephen J. Maher; Elina Rönnberg (CPAIOR, 2026)