Christen, Remo, Florian Pommerening, Clemens Büchner, and Malte Helmert. 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.