Johan Håstad, Kilian Risse. On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited. In 63rd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2022, Denver, CO, USA, October 31 - November 3, 2022. pages 1138-1149, IEEE, 2022. [doi]
@inproceedings{HastadR22,
title = {On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited},
author = {Johan Håstad and Kilian Risse},
year = {2022},
doi = {10.1109/FOCS54457.2022.00110},
url = {https://doi.org/10.1109/FOCS54457.2022.00110},
researchr = {https://researchr.org/publication/HastadR22},
cites = {0},
citedby = {0},
pages = {1138-1149},
booktitle = {63rd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2022, Denver, CO, USA, October 31 - November 3, 2022},
publisher = {IEEE},
isbn = {978-1-6654-5519-0},
}