@PHDTHESIS{lefri2019,
url = "http://www.theses.fr/2019SORUS209",
title = "Towards more efficient parallel SAT solving",
author = "Le Frioux, Ludovic",
year = "2019",
note = "Thèse de doctorat dirigée par Kordon, Fabrice Informatique Sorbonne université 2019",
note = "2019SORUS209",
url = "http://www.theses.fr/2019SORUS209/document",
}