Total space in Resolution is at least width squared

Ilario Bonacina. Total space in Resolution is at least width squared. Electronic Colloquium on Computational Complexity (ECCC), 23:57, 2016. [doi]

Abstract

Abstract is missing.