SAOUDI Mazigh
PhD Student at Sorbonne University (ATER, Sorbonne Université)
Team :
DELYS
Arrival date : 09/01/2026
Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 2, Bureau 225
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
+33 1 44 27 87 67
Mazigh.Saoudi (at)
nulllip6.fr
https://lip6.fr/Mazigh.Saoudi
Supervision : Souheib BAARIR
Co-supervision : SOPENA Julien
One clausebase to rule them all
2025 Publications
-
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)