CosySEL: Improving SAT Solving Using Local Symmetries. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet; Jo Devriendt (VMCAI, 2023)

Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet (IFM, 2024)

Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet (NFM, 2024)

Contributions to SAT Solving. (Contributions à la résolution des problèmes SAT). - Sabrine Saouli (2024)