Login / Signup
Nikita Gaevoy
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Sat Instances
Shared Memory Multiprocessor
Distributed Memory
Parallel Architecture
Top Venues
CoRR
</>
Publications
</>
Nikita Gaevoy
Hard satisfiable formulas for DPLL algorithms using heuristics with small memory.
CoRR
(2021)
Ivan A. Bochkov
,
Alex Davydow
,
Nikita Gaevoy
,
Sergey I. Nikolenko
New Competitiveness Bounds for the Shared Memory Switch.
CoRR
(2019)