An adaptive prefix-assignment technique for symmetry reduction. - Junttila, Tommi A.; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka (CoRR, 2017)