An adaptive prefix-assignment technique for symmetry reduction

Open in new window