CosySEL: Improving SAT Solving Using Local Symmetries.

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt

Browse the full VMCAI paper archive.