Personal tools

Ludovic Le Frioux

From LRDE

Jump to: navigation, search

Mail: ludovic@lrde.epita.fr

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

Publications

    Conference papers

    Title Authors Published in Date
    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