T. Davies, G. Gange, and P. Stuckey, “Automatic Logic-Based Benders Decomposition with MiniZinc”, AAAI, vol. 31, no. 1, Feb. 2017.