A trade-off between length and width in resolution

Neil Thapen. A trade-off between length and width in resolution. Electronic Colloquium on Computational Complexity (ECCC), 21:137, 2014. [doi]

Abstract

Abstract is missing.