arXiv 2003-06-27 EN Pruning Isomorphic Structural Sub-problems in Configuration Grandcolas, Stephane · Henocque, Laurent · Prcovic, Nicolas