J. Seipp, T. Keller, and M. Helmert, “Saturated Post-hoc Optimization for Classical Planning”, AAAI, vol. 35, no. 13, pp. 11947-11953, May 2021.