T. Maehara and Y. Inoue, “Group Decision Diagram (GDD): A Compact Representation for Permutations”, AAAI, vol. 33, no. 01, pp. 2986-2994, Jul. 2019.