Toby O. Davies
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPAIOR | Parallelising Lazy Clause Generation with Trail Sharing. | Toby O. Davies, Frdric Didier, Laurent Perron, Peter J. Stuckey |
| 2024 | CPAIOR | ViolationLS: Constraint-Based Local Search in CP-SAT. | Toby O. Davies, Frdric Didier, Laurent Perron |
| 2017 | AAAI | Automatic Logic-Based Benders Decomposition with MiniZinc. | Toby O. Davies, Graeme Gange, Peter J. Stuckey |
| 2016 | IJCAI | Sequencing Operator Counts. | Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky |