Maehara, T.; Inoue, Y. Group Decision Diagram (GDD): A Compact Representation for Permutations. AAAI 2019, 33, 2986-2994.