Seipp, J., Keller, T., & Helmert, M. (2021). Saturated Post-hoc Optimization for Classical Planning. Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), 11947–11953. https://doi.org/10.1609/aaai.v35i13.17419