On small-depth Frege proofs for PHP

DOI10.1109/FOCS57990.2023.00010MaRDI QIDQ6942963zbMATH OpenFDO

Authors Johan Hastad

Publication date 15 August 2025

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

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

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