Sabrine Saouli

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Genetic Algorithm Ga

Boolean Satisfiability

Symmetry Breaking

Top Venues

Publications

Sabrine Saouli, Souheib Baarir, Claude Dutheillet
Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. NFM (2024)
Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt
CosySEL: Improving SAT Solving Using Local Symmetries. VMCAI (2023)