Toby O. Davies

According to our database, Toby O. Davies authored at least 7 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Parallelising Lazy Clause Generation with Trail Sharing.

Toby O. Davies, Frédéric Didier, Laurent Perron, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2025

2024

ViolationLS: Constraint-Based Local Search in CP-SAT.

Toby O. Davies, Frédéric Didier, Laurent Perron

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2017

Learning from conflict in multi-agent, classical, and temporal planning.

Toby O. Davies

PhD thesis, 2017

Automatic Logic-Based Benders Decomposition with MiniZinc.

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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Sequencing Operator Counts.

Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Optimisation and Relaxation for Multiagent Planning in the Situation Calculus.

Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Fragment-Based Planning Using Column Generation.

Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014