Sabrine Saouli

According to our database, Sabrine Saouli authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm.

Sabrine Saouli, Souheib Baarir, Claude Dutheillet

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters.

Sabrine Saouli, Souheib Baarir, Claude Dutheillet

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

CosySEL: Improving SAT Solving Using Local Symmetries.

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023