Local Enumeration and Majority Lower Bounds Project: EXCICO Updated at: 01-09-2025 Show more information Project acronym EXCICO
Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions Project: EXCICO Updated at: 01-08-2025 Show more information Project acronym EXCICO
Periodic Reporting for period 1 - EXCICO (Extremal Combinatorics and Circuit Complexity) Project: EXCICO Updated at: 17-06-2024 Show more information Project acronym EXCICO