TY  - RPRT
TI  - Bounded-Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions
AU  - Svyatoslav Gryaznov
AU  - Navid Talebanfard
PY  - 2024
UR  - https://arxiv.org/abs/2403.02275
ID  - 2403.02275
ER  -