An exponential lower bound for individualization-refinement algorithms for graph isomorphism

ACM Press New York, New York, USA (2018) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing

Authors

Selected Authors

Neuen, Daniel
Schweitzer, Pascal

Identifier