A Simple Supercritical Tradeoff between Size and Height in Resolution

Sam Buss, Neil Thapen. A Simple Supercritical Tradeoff between Size and Height in Resolution. Electronic Colloquium on Computational Complexity (ECCC), TR24, 2024. [doi]

Abstract

Abstract is missing.