NewsEntry (2019/07/03)
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
| Title | Ludovic Le Frioux defends his PhD thesis "Towards more efficient parallel SAT solving" at EPITA at 2 pm. |
|---|---|
| Sub-Title | |
| Date | 2019/07/03 |