Christen, R., Pommerening, F., Büchner, C., & Helmert, M. (2025). A Formalism for Optimal Search with Dynamic Heuristics. Proceedings of the International Conference on Automated Planning and Scheduling, 35(1), 30-39. https://doi.org/10.1609/icaps.v35i1.36098