Nikita Gaevoy | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Sergey I. Nikolenko
9 publications
Alex Davydow
1 publication
Ivan Bochkov
1 publication

research

∙ 01/23/2021

Hard satisfiable formulas for DPLL algorithms using heuristics with small memory

DPLL algorithm for solving the Boolean satisfiability problem (SAT) can ...

0 Nikita Gaevoy, et al. ∙

research

∙ 07/09/2019

New Competitiveness Bounds for the Shared Memory Switch

We consider one of the simplest and best known buffer management archite...

0 Ivan Bochkov, et al. ∙