Nikita Gaevoy

According to our database¹, Nikita Gaevoy authored at least 5 papers between 2019 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

New Polynomial-Depth Res(+) Lower Bounds.

[BibT_eX]

[DOI]

Yaroslav Alekseev

Nikita Gaevoy

Electron. Colloquium Comput. Complex., 2026

Intersection Theorems: A Potential Approach to Proof Complexity Lower Bounds.

[BibT_eX]

[DOI]

Yaroslav Alekseev

Nikita Gaevoy

Proceedings of the 17th Innovations in Theoretical Computer Science Conference, 2026

2025

Doubly-Periodic String Comparison.

[BibT_eX]

[DOI]

Nikita Gaevoy

Boris Zolotov

Alexander Tiskin

Proceedings of the 36th Annual Symposium on Combinatorial Pattern Matching, 2025

2021

Hard satisfiable formulas for DPLL algorithms using heuristics with small memory.

[BibT_eX]

[DOI]

Nikita Gaevoy

CoRR, 2021

2019

New Competitiveness Bounds for the Shared Memory Switch.

[BibT_eX]

[DOI]

CoRR, 2019

Nikita Gaevoy

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...