NewsEntry (2019/07/03)
From LRDE
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 |
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 |