TY  - THES
DP  - http://www.theses.fr/2019SORUS209
TI  - Towards more efficient parallel SAT solving
AU  - Le Frioux, Ludovic
A3  - Kordon, Fabrice
PY  - 2019
N1  - Thèse de doctorat Informatique Sorbonne université 2019
N1  - 2019SORUS209
UR  - http://www.theses.fr/2019SORUS209/document
ER  -