T. Walsh, “Symmetry Breaking Constraints: Recent Results”, AAAI, vol. 26, no. 1, pp. 2192–2198, Sep. 2021.