Toby O. Davies

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Benders Decomposition

Indirect Effects

Multiagent Planning

Top Venues

University of Melbourne, Parkville, Victoria, Australia (PHD)

Education History

University of Melbourne, Parkville, Victoria, Australia

PHD

Publications

Toby O. Davies, Frédéric Didier, Laurent Perron
ViolationLS: Constraint-Based Local Search in CP-SAT. CPAIOR (1) (2024)
Toby O. Davies, Graeme Gange, Peter J. Stuckey
Automatic Logic-Based Benders Decomposition with MiniZinc. AAAI (2017)
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky
Sequencing Operator Counts. IJCAI (2016)
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard
Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. AAMAS (2015)
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky
Sequencing Operator Counts. ICAPS (2015)
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard
Fragment-Based Planning Using Column Generation. ICAPS (2014)