@misc{indiciae590e7b22b6e8,
  title = {On bounded depth proofs for Tseitin formulas on the grid; revisited},
  author = {Johan Håstad and Kilian Risse},
  year = {2025},
  doi = {10.1137/22m153851x},
  url = {https://arxiv.org/abs/2209.05839},
  note = {Source identifier: 2209.05839}
}