James Trimble
James Trimble
Verified email at research.gla.ac.uk - Homepage
Title
Cited by
Cited by
Year
Position-indexed formulations for kidney exchange
JP Dickerson, DF Manlove, B Plaut, T Sandholm, J Trimble
Proceedings of the 2016 ACM Conference on Economics and Computation, 25-42, 2016
692016
When subgraph isomorphism is really hard, and why this matters for graph databases
C McCreesh, P Prosser, C Solnon, J Trimble
Journal of Artificial Intelligence Research 61, 723-759, 2018
242018
“Almost-stable” matchings in the Hospitals/Residents problem with Couples
DF Manlove, I McBride, J Trimble
Constraints 22 (1), 50-72, 2017
232017
Sequential and parallel solution-biased search for subgraph algorithms
B Archibald, F Dunlop, R Hoffmann, C McCreesh, P Prosser, J Trimble
International Conference on Integration of Constraint Programming …, 2019
222019
A partitioning algorithm for maximum common subgraph problems
C McCreesh, P Prosser, J Trimble
202017
On maximum weight clique algorithms, and how they are evaluated
C McCreesh, P Prosser, K Simpson, J Trimble
International Conference on Principles and Practice of Constraint …, 2017
152017
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems.
C McCreesh, P Prosser, J Trimble
IJCAI, 631-638, 2016
102016
Certifying solvers for clique and maximum common (connected) subgraph problems
S Gocht, R McBride, C McCreesh, J Nordström, P Prosser, J Trimble
International Conference on Principles and Practice of Constraint …, 2020
92020
Observations from parallelising three maximum common (connected) subgraph algorithms
R Hoffmann, C McCreesh, SN Ndiaye, P Prosser, C Reilly, C Solnon, ...
International Conference on the Integration of Constraint Programming …, 2018
82018
The Glasgow subgraph solver: using constraint programming to tackle hard subgraph isomorphism problem variants
C McCreesh, P Prosser, J Trimble
International Conference on Graph Transformation, 316-324, 2020
62020
An algorithm for the exact treedepth problem
J Trimble
arXiv preprint arXiv:2004.08959, 2020
62020
PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth
J Trimble
arXiv preprint arXiv:2006.09912, 2020
12020
PACE Solver Description: Tweed-Plus: A Subtree-Improving Heuristic Solver for Treedepth
J Trimble
15th International Symposium on Parameterized and Exact Computation (IPEC 2020), 2020
12020
Three New Approaches for the Maximum Common Edge Subgraph Problem⋆
J Trimble, C McCreesh, P Prosser
Doctoral Program Proceedings, 2018
12018
Morphing between stable matching problems
C McCreesh, P Prosser, J Trimble
International Conference on Principles and Practice of Constraint …, 2016
12016
Induced universal graphs for families of small graphs
J Trimble
arXiv preprint arXiv:2109.00075, 2021
2021
Bute: A Bottom-Up Exact Solver for Treedepth (Submitted to PACE 2020 under username peaty)
J Trimble
arXiv e-prints, arXiv: 2006.09912, 2020
2020
A Constraint Model for the Tree Decomposition of a Graph
B Bumpus, P Prosser, J Trimble
arXiv preprint arXiv:1908.02530, 2019
2019
'Almost-stable'matchings in the hospitals/residents problem with couples: An integer programming approach
D Manlove, I McBride, J Trimble
University of Glasgow, 2016
2016
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
J Trimble
The system can't perform the operation now. Try again later.
Articles 1–20