VLDB 2026 Research / reviewers in the wild / expert
Xinpeng Ni
dblp:364/2359
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2025
0009-0005-8967-5665ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA
Xinpeng Ni, Bican Xia |
ICFEM | 1 |
| 2024 | Local Search for Checking Satisfiability of Formulas with Trigonometric Functions
Xinpeng Ni, Bican Xia |
ATVA (2) | 1 |
| 2023 | Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification
Xinpeng Ni, Bican Xia |
SETTA | 1 |