M. F. Rankooh and J. Rintanen, “Efficient Encoding of Cost Optimal Delete-Free Planning as SAT”, AAAI, vol. 36, no. 9, pp. 9910-9917, Jun. 2022.