Itzhakov, A.; Codish, M. Incremental Symmetry Breaking Constraints for Graph Search Problems. AAAI 2020, 34, 1536-1543.