(1)
Seipp, J.; Keller, T.; Helmert, M. Saturated Post-Hoc Optimization for Classical Planning. AAAI 2021, 35, 11947-11953.