Treffer: Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements

Title:
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Authors:
Grohe, Martin, Lichter, Moritz, Neuen, Daniel, Schweitzer, Pascal
Source:
Journal of the ACM. 72(3):1-27
Availability:
http://dl.acm.org/doi/10.1145/3727978
Database:
ACM Full-Text Collection