Svyatoslav Gryaznov

According to our database, Svyatoslav Gryaznov authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space.

Svyatoslav Gryaznov, Sergei Ovcharov, Artur Riazanov

CoRR, 2024

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

Svyatoslav Gryaznov, Navid Talebanfard

CoRR, 2024

2022

A Variant of the VC-Dimension with Applications to Depth-3 Circuits.

Peter Frankl, Svyatoslav Gryaznov, Navid Talebanfard

Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

Linear Branching Programs and Directional Affine Extractors.

Svyatoslav Gryaznov, Pavel Pudlák, Navid Talebanfard

Proceedings of the 37th Computational Complexity Conference, 2022

2019

Notes on Resolution over Linear Equations.

Svyatoslav Gryaznov

Proceedings of the Computer Science - Theory and Applications, 2019