Shleyfman, Alexander, Ryo Kuroiwa, and J. Christopher Beck. 2023. “Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 33 (1):393-401. https://doi.org/10.1609/icaps.v33i1.27218.