11 citations · 61 across the 16 of their papers we have counts for
1 paper · 2 filters
Daniel Neuen, Pascal Schweitzer
The individualization-refinement paradigm provides a strong toolbox for testing isomorphism of two graphs and indeed, the currently fastest implementations of isomorphism solvers a…