Ludovic Le Frioux

According to our database, Ludovic Le Frioux authored at least 6 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

On the Usefulness of Clause Strengthening in Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers.

Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

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

Ludovic Le Frioux

PhD thesis, 2019

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.

Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2017

PaInleSS: A Framework for Parallel SAT Solving.

Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017