Vincent Vallade

dblp:268/7196 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2022
0009-0001-8821-0357ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-author
YearPublicationVenuePosition
2022 Diversifying a Parallel SAT Solver with Bayesian Moment Matching
Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh 0001
SETTA1
2020 Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh 0001, Fabrice Kordon
SAT1