Automatic Logic-Based Benders Decomposition with MiniZinc.

Toby O. Davies, Graeme Gange, Peter J. Stuckey

Browse the full AAAI paper archive.