Browse by Glasgow Author
Number of items: 2.
Engineering and Physical Sciences Research Council (EPSRC)
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]
This list was generated on Sat Dec 21 00:11:41 2024 GMT.