Identifiant pérenne de la notice : 250734648
Notice de type
Personne
Towards more efficient parallel SAT solving / Ludovic Le Frioux ; sous la direction
de Souheib Baarir, Fabrice Kordon et Julien Sopena. Thèse de doctorat : Informatique
: Sorbonne université : 2019