Description
Date depot: 31 mars 2020
Titre: SAT-solving,: one clausebase to rule them all
Directeur de thèse:
Fabrice KORDON (LIP6)
Encadrant :
Julien SOPENA (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
votre projetDuring this thesis, we will focus on the memory sharing between cores in parallel SAT-solving. We will design new concurrent data structures and algorithm to solve this di����cult problems, al- lowing to scale to a hundred cores on a single machine.
Doctorant.e: Oudin Rémi