Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps.

Christoph Berkholz, Jakob Nordstrm

Browse the full LICS paper archive.