Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler--Lehman Refinement Steps.
| Autor: | BERKHOLZ, CHRISTOPH1 christoph.berkholz@tuilmenau.de, NORDSTRÖM, JAKOB2 jn@di.ku.dk |
|---|---|
| Zdroj: | Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-31. 32p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|