Towards an Optimal Separation of Space and Length in Resolution

Jakob Nordström, Johan Håstad. Towards an Optimal Separation of Space and Length in Resolution. Electronic Colloquium on Computational Complexity (ECCC), 15(026), 2008. [doi]

Abstract

Abstract is missing.