Dynamic Symmetry Breaking by Simulating Zykov Contraction.

Bas Schaafsma, Marijn Heule, Hans van Maaren

Browse the full SAT paper archive.