Site navigation
Site tools
In this section
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]