Dynamic Symmetry Breaking by Simulating Zykov Contraction. - Bas Schaafsma; Marijn Heule; Hans van Maaren (SAT, 2009)