Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Space characterizations of complexity measures and size-space trade-offs in propositional proof systemsTheodoros Papamakarios, Alexander A. Razborov. jcss, 137:20-36, November 2023. [doi] Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof SystemsTheodoros Papamakarios, Alexander A. Razborov. icalp 2022: [doi]
The following publications are possibly variants of this publication: