PaInleSS: A Framework for Parallel SAT Solving. - Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (SAT, 2017)

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. - Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (TACAS (1), 2019)

Towards more efficient parallel SAT solving. (Vers une parallélisation efficace de la résolution du problème de satisfaisabilité). - Ludovic Le Frioux (2019)

A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. - Saeed Nejati; Ludovic Le Frioux; Vijay Ganesh 001 (CP, 2020)

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)