The iteration number of the Weisfeiler-Leman algorithm

DOI10.1109/LICS56636.2023.10175741MaRDI QIDQ6851693zbMATH OpenFDO

Authors Martin Grohe, Daniel Neuen

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175741

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(2)

• From quantifier depth to quantifier number: separating structures with k variables
• Near-optimal lower bounds on quantifier depth and Weisfeiler-Leman refinement steps

This page was built for publication: The iteration number of the Weisfeiler-Leman algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851693)