Theodoros Papamakarios, Alexander A. Razborov. Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems. In Mikolaj Bojanczyk, Emanuela Merelli, David P. Woodruff, editors, 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France. Volume 229 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{PapamakariosR22,
title = {Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems},
author = {Theodoros Papamakarios and Alexander A. Razborov},
year = {2022},
doi = {10.4230/LIPIcs.ICALP.2022.100},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.100},
researchr = {https://researchr.org/publication/PapamakariosR22},
cites = {0},
citedby = {0},
booktitle = {49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France},
editor = {Mikolaj Bojanczyk and Emanuela Merelli and David P. Woodruff},
volume = {229},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-235-8},
}