Tradeoffs for small-depth Frege proofs

DOI10.1109/FOCS52979.2021.00052MaRDI QIDQ6943498zbMATH OpenFDO

Authors Toniann Pitassi, Li-Yang Tan, Prasanna Ramakrishnan

Publication date 13 August 2025

Full work available at URL https://doi.org/10.1109/FOCS52979.2021.00052

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Cited in

(2)

• On small-depth frege proofs for \textsf{PHP}
• On bounded depth proofs for Tseitin formulas on the grid; revisited

This page was built for publication: Tradeoffs for small-depth Frege proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6943498)