On Small-Depth Frege Proofs for Tseitin for Grids.

Johan Hstad

Browse the full FOCS paper archive.