New Competitiveness Bounds for the Shared Memory Switch. - Ivan A. Bochkov; Alex Davydow; Nikita Gaevoy; Sergey I. Nikolenko (CoRR, 2019)

Hard satisfiable formulas for DPLL algorithms using heuristics with small memory. - Nikita Gaevoy (CoRR, 2021)

Doubly-Periodic String Comparison. - Nikita Gaevoy; Boris Zolotov; Alexander Tiskin (CPM, 2025)