Domshlak, C., Katz, M., & Shleyfman, A. (2013). Symmetry Breaking: Satisficing Planning and Landmark Heuristics. Proceedings of the International Conference on Automated Planning and Scheduling, 23(1), 298-302. https://doi.org/10.1609/icaps.v23i1.13595