Dynamic structural symmetry breaking for constraint satisfaction problems

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren

December 2009