Vincent Vallade
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2020–2023
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAT | Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. | Vincent Vallade, Julien Sopena, Souheib Baarir |
| 2022 | SETTA | Diversifying a Parallel SAT Solver with Bayesian Moment Matching. | Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh |
| 2020 | SAT | Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon |