On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited.

Johan Hstad, Kilian Risse

Browse the full FOCS paper archive.