An adaptive prefix-assignment technique for symmetry reduction | Read Paper on Bytez