David Joslin Amitabha Roy Exploiting Symmetry in Lifted CSPs. 197-202 1997 AAAI/IAAI db/conf/aaai/aaai97.html#JoslinR97