Projet de recherche doctoral numero :7028

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