VLDB 2026 Research / reviewers in the wild / expert
Sergei Ovcharov
dblp:355/1208
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2024
0000-0002-9478-1949ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | On Limits of Symbolic Approach to SAT Solving
Dmitry Itsykson, Sergei Ovcharov |
SAT | 2 |
| 2023 | OBDD(Join) Proofs Cannot Be Balanced
Sergei Ovcharov |
MFCS | 1 |