Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Archibald, B. , Burns, K. , McCreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25-29 Oct 2021, 15.1-15.17. ISBN 9783959772112

Akgün, Ö., Enright, J. , Jefferson, C., McCreesh, C. , Prosser, P. and Zschaler, S. (2021) Finding Subgraphs With Side Constraints. In: 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAOIR 2021), Vienna, Austria, 5-8 July 2021, pp. 348-364. ISBN 9783030782290 (doi: 10.1007/978-3-030-78230-6_22)

Enright, J. , Meeks, K. and Skerman, F. (2021) Assigning times to minimise reachability in temporal graphs. Journal of Computer and System Sciences, 115, pp. 169-186. (doi: 10.1016/j.jcss.2020.08.001)

Kraiczy, S. and McCreesh, C. (2021) Solving Graph Homomorphism and Subgraph Isomorphism Problems Faster Through Clique Neighbourhood Constraints. In: Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), Montréal, Canada, 19-27 Aug 2021, pp. 1396-1402. ISBN 9780999241196 (doi: 10.24963/ijcai.2021/193)

Erdem, E., Fidan, M., Manlove, D. and Prosser, P. (2020) A general framework for stable roommates problems using answer set programming. Theory and Practice of Logic Programming, 20(6), pp. 911-925. (doi: 10.1017/S1471068420000277)

Gocht, S., McBride, R., McCreesh, C. , Nordström, J., Prosser, P. and Trimble, J. (2020) Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. In: 26th International Conference on Principles and Practice of Constraint Programming, Louvain-la-Neuve, Belgium, 07-11 Sep 2020, pp. 338-357. ISBN 9783030584740 (doi: 10.1007/978-3-030-58475-7_20)

Elffers, J., Gocht, S., McCreesh, C. and Nordström, J. (2020) Justifying All Differences Using Pseudo-Boolean Reasoning. In: Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York, NY, USA, 07-12 Feb 2020, pp. 1486-1494.

Gocht, S., Mccreesh, C. and Nordström, J. (2020) Subgraph Isomorphism Meets Cutting Planes: Solving with Certified Solutions. In: 2020 International Joint Conference on Artificial Intelligence (IJCAI-PRICAI 2020), Yokohama, Japan, 11-17 Jul 2020, pp. 1134-1140. ISBN 9780999241165 (doi: 10.24963/ijcai.2020/158)

Mccreesh, C. , Prosser, P. and Trimble, J. (2020) The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 316-324. ISBN 9783030513719 (doi: 10.1007/978-3-030-51372-6)

Archibald, B. , Dunlop, F., Hoffmann, R., McCreesh, C. , Prosser, P. and Trimble, J. (2019) Sequential and parallel solution-biased search for subgraph algorithms. In: 16th International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2019), Thessaloniki, Greece, 4-7 June 2019, pp. 20-38. ISBN 9783030192112 (doi: 10.1007/978-3-030-19212-9_2)

McCreesh, C. , Pettersson, W. and Prosser, P. (2019) Understanding the empirical hardness of random optimisation problems. In: 25th International Conference on Principles and Practice of Constraint Programming, Stamford, CT, USA, 30 Sep - 04 Oct 2019, pp. 333-349. (doi: 10.1007/978-3-030-30048-7_20)

Gent, I. P., Miguel, I., Nightingale, P., McCreesh, C. , Prosser, P. , Moore, N. C.A. and Unsworth, C. (2018) A review of literature on parallel constraint solving. Theory and Practice of Logic Programming, 18(5-6), pp. 725-758. (doi: 10.1017/S1471068418000340)

Mccreesh, C. , Prosser, P. and Trimble, J. (2018) When subgraph isomorphism is really hard, and why this matters for graph databases. Journal of Artificial Intelligence Research, 61, pp. 723-759. (doi: 10.1613/jair.5768)

McCreesh, C. , Prosser, P. , Simpson, K. and Trimble, J. (2017) On Maximum Weight Clique Algorithms, and How They Are Evaluated. In: CP2017: The 23rd International Conference on Principles and Practice of Constraint Programming, Melbourne, Australia, 28 Aug - 1 Sept 2017, pp. 206-225. ISBN 9783319661575 (doi: 10.1007/978-3-319-66158-2_14)

This list was generated on Fri Dec 3 07:16:16 2021 GMT.