Items where Author is "Mccreesh, Ciaran"
Group by: Item Type | No Grouping
Jump to: Data Collection
Number of items: 2.
Data Collection
Mccreesh, C. (2019) ciaranm/certified-constraint-solver: AAAI2020. [Data Collection]
Mccreesh, C. and Prosser, P. (2015) A parallel, backjumping subgraph isomorphism algorithm using supplemental graphs. [Data Collection]