Solving logic-based benders decomposition master problems with constraint programming and domain-independent dynamic programming - Zhang, Jiachen; Beck, J. Christopher (Constraints: An International Journal, 2025)