10 citations · 14 across the 6 of their papers we have counts for
1 paper · 1 filter
Jakob L. Andersen, Daniel Merkle
The state-of-the-art tools for practical graph canonization are all based on the individualization-refinement paradigm, and their difference is primarily in the choice of heuristic…