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

New York, NY / ACM (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

STOC'18 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing : June 25-29, 2018, Los Angeles, CA, USA / sponsored by: ACM SIGACT
Seite(n): 138-150

Autorinnen und Autoren

Autorinnen und Autoren

Neuen, Daniel
Schweitzer, Pascal