Davies, T.; Gange, G.; Stuckey, P. Automatic Logic-Based Benders Decomposition With MiniZinc. AAAI 2017, 31.