Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon. CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.
Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece.
⟨hal-01766948⟩