Pierre Flener Justin Pearson Meinolf Sellmann Pascal Van Hentenryck Magnus Ågren Dynamic structural symmetry breaking for constraint satisfaction problems. 506-538 2009 14 Constraints 4 http://dx.doi.org/10.1007/s10601-008-9059-7 db/journals/constraints/constraints14.html#FlenerPSHA09