Ludovic Le Frioux
From LRDE
Mail: ludovic@lrde.epita.fr
Homepage: https://www.lrde.epita.fr/~ludovic/
Publications
| Publication type | |
|---|---|
| PaInleSS: a Framework for Parallel SAT Solving | inproceedings |
Mail: ludovic@lrde.epita.fr
Homepage: https://www.lrde.epita.fr/~ludovic/
| Publication type | |
|---|---|
| PaInleSS: a Framework for Parallel SAT Solving | inproceedings |