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

Neuen, Daniel (Corresponding author); Schweitzer, Pascal

New York, NY : ACM (2018)
Contribution to a book, Contribution to a conference proceedings

In: 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
Page(s)/Article-Nr.: 138-150

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]