User

Ludovic Le Frioux

From LRDE

Mail: ludovic@lrde.epita.fr

Homepage: https://www.lrde.epita.fr/~ludovic/

Publications

    Conference papers

    Title Authors Published in Date
    le-frioux.19.tacas Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework Fabrice Kordon, Julien Sopena, Ludovic Le Frioux, Souheib Baarir 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