SAOULI Sabrine
Doctorante à Sorbonne Université (ATER, Sorbonne Université)
Équipe : MoVe
Date d'arrivée : 02/10/2020
Tel: 01 44 27 51 28, Sabrine.Saouli (at) nulllip6.fr
https://lip6.fr/Sabrine.Saouli
Équipe : MoVe
Date d'arrivée : 02/10/2020
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 231
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 51 28, Sabrine.Saouli (at) nulllip6.fr
https://lip6.fr/Sabrine.Saouli
Direction de recherche : Souheib BAARIR
Co-encadrement : DUTHEILLET Claude
Exploitation des symétries locales pour les résolutions des problèmes SAT
Publications 2023-2024
-
2024
- S. Saouli, S. Baarir, C. Dutheillet : “Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm”, 16th International Symposium, NFM 2024Moffett Field, CA, USA, June 4–6, 2024Proceedings, vol. 14627, Lecture Notes in Computer Science, Moffett Field, CA, United States, pp. 21-36, (Springer Nature Switzerland) (2024)
-
2023
- S. Saouli, S. Baarir, C. Dutheillet, J. Devriendt : “CosySEL: Improving SAT Solving Using Local Symmetries”, Verification, Model Checking, and Abstract Interpretation, vol. 13881, Lecture Notes in Computer Science, Boston (MA), United States, pp. 252-266, (Springer Nature Switzerland) (2023)