Rankooh, M. F. and Rintanen, J. (2022) “Efficient Encoding of Cost Optimal Delete-Free Planning as SAT”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), pp. 9910-9917. doi: 10.1609/aaai.v36i9.21228.