research
∙
09/13/2022
On bounded depth proofs for Tseitin formulas on the grid; revisited
We study Frege proofs using depth-d Boolean formulas for the Tseitin con...
research
∙
07/21/2020