An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism
Neuen, Daniel (Corresponding author); Schweitzer, Pascal (Corresponding author)
(2017)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-2019-03301
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search