CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.

Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon

Browse the full TACAS paper archive.