Ludovic Le Frioux (Ludovic)
From LRDE
Mail: ludovic@lrde.epita.fr
Homepage: https://www.lrde.epita.fr/~ludovic/
Publications
Conference papers
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| nejati.20.cp | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh | Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) | 1 September 2020 |
| vallade.20.nfm | On the Usefulness of Clause Strengthening in Parallel SAT Solving | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) | 1 August 2020 |
| vallade.20.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 | Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) | 1 June 2020 |
| le-frioux.19.tacas | 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 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) | 13 February 2019 |
| le-frioux.17.sat | PaInleSS: a Framework for Parallel SAT Solving | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) | 30 June 2017 |
PHD Theses and Habilitations
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| le-frioux.19.phd | Towards more efficient parallel SAT solving | Ludovic Le Frioux | 3 July 2019 |