| May 2025 |
‘D-Painless: A Framework for Distributed Portfolio SAT Solving’ is presented by Mazigh Saoudi in TACAS2025 |
| Aug 2024 |
Mazigh Saoudi comes in 1st place in the Parallel Track, and 3rd place in the Cloud Track, of SAT Competition 2024 |
| Aug 2024 |
‘PL-PRS-BVA-KISSAT in SAT Competition 2024’ is presented by Mazigh Saoudi in POS2024 |
| Feb 2024 |
I give a presentation on 3D point cloud processing during a seminar in the REVA team |
| Nov 2023 |
I give a presentation titled ‘Direct Least-Squares Fitting of Ellipsoid to 3D Oriented Points for Point Cloud Processing’ in JFIG2023 |
| Jul 2023 |
I am invited in the TITANE team at INRIA Sophia Antipolis during 2 months thanks to a funding from 3IA Côte d’Azur to work on vegetation classification in 3D scans using deep learning |
