activity
20172024
most citedRandom CNFs are Hard for Cutting Planes

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…