Rankooh, Masood Feyzbakhsh, and Jussi Rintanen. 2022. “Efficient Encoding of Cost Optimal Delete-Free Planning As SAT”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9):9910-17. https://doi.org/10.1609/aaai.v36i9.21228.