Bio

I am a PhD student in the Automata and Applications (A∀) research group since October 2023. I work on parallel SAT solvers Souheib Baarir, Thibault Lejemble and Julien Sopena.

Previously, I obtained a Master Degree in Computer Science from Sorbonne University in 2023 on Distributed Systems and Applications (SAR).

Publications

Mazigh Saoudi, Souheib Baarir, Julien Sopena and Thibault Lejemble. PL-PRS-BVA-KISSAT in SAT Competition 2024. 15th Pragmatics of SAT international workshop. Draft

Mazigh Saoudi, Souheib Baarir, Julien Sopena and Thibault Lejemble. D-Painless: A Framework for Distributed Portfolio SAT Solving. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Regular Tool Papers). DOI, HAL