Space characterizations of complexity measures and size-space trade-offs in propositional proof systems

Theodoros Papamakarios, Alexander Razborov. Space characterizations of complexity measures and size-space trade-offs in propositional proof systems. Electronic Colloquium on Computational Complexity (ECCC), 28:74, 2021. [doi]

Abstract

Abstract is missing.