Pages that link to "Item:Q4635882"
From MaRDI portal
The following pages link to Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps (Q4635882):
Displaying 5 items.
- On space and depth in resolution (Q1616620) (← links)
- Tight lower and upper bounds for the complexity of canonical colour refinement (Q2398207) (← links)
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic (Q4635884) (← links)
- Supercritical Space-Width Trade-offs for Resolution (Q5215515) (← links)
- Cutting planes width and the complexity of graph isomorphism refutations (Q6636618) (← links)