Mazigh Saoudi

• Site: Toulouse
• Group: automata and applications

Short Bio

I am a PhD student in the Automata and Applications (A∀) research group since October 2023. I work on memory efficient parallel SAT solvers under the supervision of 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).