Ilya Shlyakhter Generating effective symmetry-breaking predicates for search problems. 1539-1548 2007 155 Discrete Applied Mathematics 12 http://dx.doi.org/10.1016/j.dam.2005.10.018 db/journals/dam/dam155.html#Shlyakhter07