Browse by Glasgow Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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 Wed Sep 27 14:11:11 2023 BST.