Shleyfman A, Kuroiwa R, Beck JC. Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning. ICAPS [Internet]. 2023 Jul. 1 [cited 2026 May 25];33(1):393-401. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/27218