User

Ludovic Le Frioux

From LRDE

Revision as of 15:46, 6 November 2017 by Ludovic (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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