On Space and Depth in Resolution

Alexander A. Razborov. On Space and Depth in Resolution. Electronic Colloquium on Computational Complexity (ECCC), 23:184, 2016. [doi]

Abstract

Abstract is missing.