[1]
A. Itzhakov and M. Codish, “Incremental Symmetry Breaking Constraints for Graph Search Problems”, AAAI, vol. 34, no. 02, pp. 1536-1543, Apr. 2020.