Difficult graphs for practical graph isomorphism solvers
My project concerns the construction of graphs that perform badly on state-of-the-art graph isomorphism solvers, such as nauty and Traces.
https://arxiv.org/abs/1809.08154 http://pallini.di.uniroma1.it/Graphs.html
This repository contains a test harness which allows my experimental results to be reproduced. I've included my dissertation as well.