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

Christoph Berkholz, Jakob Nordström

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

Fingerprint

Dive into the research topics of 'Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler - Leman Refinement Steps'. Together they form a unique fingerprint.

Computer Science