Description
Date depot: 12 avril 2023
Titre: OCRA : One Clausebase to Rule them All
Directeur de thèse:
Souheib BAARIR (LRE)
Encadrant :
Thibault LEJEMBLE (LRE)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Intelligence artificielle
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.
Doctorant.e: Saoudi Mazigh