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

Christoph Berkholz, Jakob Nordström

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler - Leman Refinement Steps”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science