On the Usefulness of Clause Strengthening in Parallel SAT Solving. - Vincent Vallade; Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (NFM, 2020)

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. - Vincent Vallade; Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Vijay Ganesh 001; Fabrice Kordon (SAT, 2020)

Diversifying a Parallel SAT Solver with Bayesian Moment Matching. - Vincent Vallade; Saeed Nejati; Julien Sopena; Souheib Baarir; Vijay Ganesh 001 (SETTA, 2022)

Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. - Vincent Vallade; Julien Sopena; Souheib Baarir (POS@SAT, 2023)

Contributions à la résolution parallèle du problème SAT. (Contribution to parallel SAT solving). - Vincent Vallade (2023)