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