Description
Date depot: 1 avril 2025
Titre: Shared Clausebase for Manycore SAT Solving
Directeur de thèse:
Souheib BAARIR (LIP6)
Encadrant :
Julien SOPENA (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Algorithmique, combinatoire
Resumé: During 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 dificult problems, allowing to scale to a hundred cores on a single machine.