TY  - RPRT
TI  - On bounded depth proofs for Tseitin formulas on the grid; revisited
AU  - Johan Håstad
AU  - Kilian Risse
PY  - 2025
DO  - 10.1137/22m153851x
UR  - https://arxiv.org/abs/2209.05839
ID  - 2209.05839
ER  -