Notes on Resolution over Linear Equations. - Svyatoslav Gryaznov (CSR, 2019)

Linear Branching Programs and Directional Affine Extractors. - Svyatoslav Gryaznov; Pavel Pudlák; Navid Talebanfard (CCC, 2022)

A Variant of the VC-Dimension with Applications to Depth-3 Circuits. - Peter Frankl; Svyatoslav Gryaznov; Navid Talebanfard (ITCS, 2022)

Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions. - Svyatoslav Gryaznov; Navid Talebanfard (CoRR, 2024)

Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space. - Svyatoslav Gryaznov; Sergei Ovcharov; Artur Riazanov (ACM Trans. Comput. Theory, 2024)