User

Difference between revisions of "Ludovic Le Frioux"

From LRDE

 
Line 1: Line 1:
  +
Mail: ludovic@lrde.epita.fr
  +
  +
Homepage: https://www.lrde.epita.fr/~ludovic/
  +
 
== Publications ==
 
== Publications ==
   

Latest revision as of 15:46, 6 November 2017

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 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