Description
Date depot: 30 mars 2018
Titre: Groupes de partage pour solveurs SAT parallèles
Directeur de thèse:
Fabrice KORDON (LIP6)
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 : Non defini
Resumé:
De nos jours, le problème SAT est utilisé dans de nombreux domaines industriels. Avec l'avènement de machines massivement multi-coeurs, la parallélisation de ces solveurs est devenue un enjeux industriel. L'objectif de cette thèse est de concevoir de nouveaux algorithmes permettant au solveur SAT de tirer pleinement partie de ces nouvelles architectures.
Doctorant.e: Vallade Vincent