%0 Thesis %1 phd/hal/Frioux19 %A Frioux, Ludovic Le %D 2019 %K dblp %T Towards more efficient parallel SAT solving. (Vers une parallélisation efficace de la résolution du problème de satisfaisabilité).

@phdthesis{phd/hal/Frioux19, added-at = {2020-12-23T00:00:00.000+0100}, author = {Frioux, Ludovic Le}, biburl = {https://www.bibsonomy.org/bibtex/28007e4f07bb334a8ec9403f6db7c4b18/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-03030122}, interhash = {16cba43866e252eefe156daec4873d77}, intrahash = {8007e4f07bb334a8ec9403f6db7c4b18}, keywords = {dblp}, school = {Sorbonne UniversitY, France}, timestamp = {2024-04-09T09:06:16.000+0200}, title = {Towards more efficient parallel SAT solving. (Vers une parallélisation efficace de la résolution du problème de satisfaisabilité).}, year = 2019 }