First truly supercritical size-depth trade-offs for resolution and cutting planes, supercritical monotone circuit depth, and Weisfeiler-Leman dimension-iteration trade-offs.
Stabbing planes
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2024 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman
First truly supercritical size-depth trade-offs for resolution and cutting planes, supercritical monotone circuit depth, and Weisfeiler-Leman dimension-iteration trade-offs.