Davies, Toby O.

2 publications

AAAI 2017 Automatic Logic-Based Benders Decomposition with MiniZinc Toby O. Davies, Graeme Gange, Peter J. Stuckey

IJCAI 2016 Sequencing Operator Counts Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky