In this section

Browse by Glasgow Author

[up] Up a level
Group by: Date | Item Type | Keywords | Funder's Name | No Grouping
Jump to: 2019 | 2015
Number of items: 2.

2019

Mccreesh, C. (2019) ciaranm/certified-constraint-solver: AAAI2020. [Data Collection]

2015

Mccreesh, C. and Prosser, P. (2015) A parallel, backjumping subgraph isomorphism algorithm using supplemental graphs. [Data Collection]

This list was generated on Fri Apr 19 11:06:55 2024 BST.