James Trimble

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 21

Top Topics

Computationally Hard Problems

Subgraph Isomorphism

Constraint Solver

Top Venues

Publications

Gergely Csáji, David F. Manlove, Iain McBride, James Trimble
Couples can be tractable: New algorithms and hardness results for the Hospitals / Residents problem with Couples. CoRR (2023)
Maxence Delorme, Sergio García, Jacek Gondzio, Jörg Kalcsics, David F. Manlove, William Pettersson, James Trimble
Improved instance generation for kidney exchange programmes. Comput. Oper. Res. 141 (2022)
James Trimble
Induced universal graphs for families of small graphs. CoRR (2021)
James Trimble
An Algorithm for the Exact Treedepth Problem. CoRR (2020)
James Trimble
PACE Solver Description: Tweed-Plus: A Subtree-Improving Heuristic Solver for Treedepth. IPEC (2020)
Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. CP (2020)
James Trimble
Bute: A Bottom-Up Exact Solver for Treedepth (Submitted to PACE 2020 under username peaty). CoRR (2020)
Ciaran McCreesh, Patrick Prosser, James Trimble
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. ICGT (2020)
James Trimble
An Algorithm for the Exact Treedepth Problem. SEA (2020)
James Trimble
PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth. IPEC (2020)
Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. CPAIOR (2019)
Benjamin Bumpus, Patrick Prosser, James Trimble
A Constraint Model for the Tree Decomposition of a Graph. CoRR (2019)
Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases. J. Artif. Intell. Res. 61 (2018)
Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms. CPAIOR (2018)
Ciaran McCreesh, Patrick Prosser, James Trimble
A Partitioning Algorithm for Maximum Common Subgraph Problems. IJCAI (2017)
Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble
On Maximum Weight Clique Algorithms, and How They Are Evaluated. CP (2017)
David F. Manlove, Iain McBride, James Trimble
"Almost-stable" matchings in the Hospitals / Residents problem with Couples. Constraints An Int. J. 22 (1) (2017)
John P. Dickerson, David F. Manlove, Benjamin Plaut, Tuomas Sandholm, James Trimble
Position-Indexed Formulations for Kidney Exchange. EC (2016)
Ciaran McCreesh, Patrick Prosser, James Trimble
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems. IJCAI (2016)
Ciaran McCreesh, Patrick Prosser, James Trimble
Morphing Between Stable Matching Problems. CP (2016)
John P. Dickerson, David F. Manlove, Benjamin Plaut, Tuomas Sandholm, James Trimble
Position-Indexed Formulations for Kidney Exchange. CoRR (2016)