GHODBANE Mohamed Imad Eddine
Doctorant à Sorbonne Université
Équipe :
MoVe
Date d'arrivée : 01/09/2025
Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 231
4 place Jussieu
75252 PARIS CEDEX 05
01 44 27 51 28
Direction de recherche : Souheib BAARIR
Shared Clausebase for Manycore SAT Solving