VLDB 2026 Research / reviewers in the wild / expert
André Duarte 0002
dblp:137/8909-2
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2021
0000-0002-5228-213XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | AC Simplifications and Closure Redundancies in the Superposition Calculus
André Duarte 0002, Konstantin Korovin |
TABLEAUX | 1 |