Ludovic Le Frioux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2020
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CP | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
| 2020 | 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 |
| 2019 | TACAS | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |
| 2017 | SAT | PaInleSS: A Framework for Parallel SAT Solving. | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |