Theodoros Papamakarios. A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus. In Jérôme Leroux, Sylvain Lombardy, David Peleg, editors, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France. Volume 272 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{Papamakarios23,
title = {A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus},
author = {Theodoros Papamakarios},
year = {2023},
doi = {10.4230/LIPIcs.MFCS.2023.74},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.74},
researchr = {https://researchr.org/publication/Papamakarios23},
cites = {0},
citedby = {0},
booktitle = {48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France},
editor = {Jérôme Leroux and Sylvain Lombardy and David Peleg},
volume = {272},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-292-1},
}