Fragment-Based Planning Using Column Generation. - Toby O. Davies; Adrian R. Pearce; Peter J. Stuckey; Harald Søndergaard (ICAPS, 2014)

Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. - Toby O. Davies; Adrian R. Pearce; Peter J. Stuckey; Harald Søndergaard (AAMAS, 2015)

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

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

Learning from conflict in multi-agent, classical, and temporal planning. - Toby O. Davies (2017)

ViolationLS: Constraint-Based Local Search in CP-SAT. - Toby O. Davies; Frédéric Didier; Laurent Perron (CPAIOR (1), 2024)

Parallelising Lazy Clause Generation with Trail Sharing. - Toby O. Davies; Frédéric Didier; Laurent Perron; Peter J. Stuckey (CPAIOR (1), 2025)