Browse by Glasgow Author

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 Mon Jul 22 14:25:34 2024 BST.