Vincent Vallade

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Boolean Satisfiability

Top Venues

Publications

Vincent Vallade, Julien Sopena, Souheib Baarir
Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. POS@SAT (2023)
Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. SETTA (2022)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. SAT (2020)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM (2020)