SAOUDI Mazigh
Doctorant à Sorbonne Université (ATER, Sorbonne Université)
Équipe :
DELYS
Date d’arrivée : 01/09/2026
Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 2, Bureau 225
4 place Jussieu
75252 PARIS CEDEX 05
01 44 27 87 67
Mazigh.Saoudi (at)
nulllip6.fr
https://lip6.fr/Mazigh.Saoudi
Direction de recherche : Souheib BAARIR
Co-encadrement : SOPENA Julien
One clausebase to rule them all++
Publications 2025
-
2025
- M. Saoudi, S. Baarir, J. Sopena, Th. Lejemble : “D-Painless: A Framework for Distributed Portfolio SAT Solving”, Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Lecture Notes in Computer Science, Hamilton, Canada, pp. 45-64, (Springer Nature Switzerland) (2025)