Ludovic Le Frioux
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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) | 31 December 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 |