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