VLDB 2026 Research / reviewers in the wild / expert
Thomas Vigouroux
dblp:332/1890
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2024
0000-0001-6396-0285ORCID · reported
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 |
|---|---|---|---|
| 2024 | Function Synthesis for Maximizing Model Counting
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier |
VMCAI (1) | 1 |
| 2022 | BaxMC: a CEGAR approach to Max#SAT
Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet |
FMCAD | 1 |