most citedTruly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CC2024★ 1 cited

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman

Susanna F. de Rezende, Noah Fleming, Duri Andrea Janett +2

We exhibit supercritical trade-off for monotone circuits, showing that there are functions computable by small circuits for which any circuit must have depth super-linear or even s…