Svyatoslav Gryaznov

According to our database, Svyatoslav Gryaznov authored at least 6 papers between 2019 and 2026.

Collaborative distances:

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

2026

The Weak Rank Principle: Lower Bounds and Applications.

Michal Garlík, Svyatoslav Gryaznov, Hanlin Ren, Iddo Tzameret

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

2024

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

Svyatoslav Gryaznov, Sergei Ovcharov, Artur Riazanov

ACM Trans. Comput. Theory, September, 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