TY  - RPRT
TI  - On Small-depth Frege Proofs for PHP
AU  - Johan Håstad
PY  - 2025
DO  - 10.46298/theoretics.25.27
UR  - https://arxiv.org/abs/2401.15683
ID  - 2401.15683
ER  -