Stéphane Grandcolas Laurent Henocque Nicolas Prcovic Pruning Isomorphic Structural Sub-problems in Configuration http://arxiv.org/abs/cs.AI/0306135 2003 CoRR cs.AI/0306135 db/journals/corr/corr0306.html#cs-AI-0306135 informal publication