"Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic ..."

Svyatoslav Gryaznov, Navid Talebanfard (2024)

Details and statistics

DOI: 10.48550/ARXIV.2403.02275

access: open

type: Informal or Other Publication

metadata version: 2024-04-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics