Dynamic Symmetry Breaking Restarted. - Daniel S. Heller; Meinolf Sellmann (CP, 2006)

Model Restarts for Structural Symmetry Breaking. - Daniel S. Heller; Aurojit Panda; Meinolf Sellmann; Justin Yip (CP, 2008)