Zhang, L. and Bacchus, F. 2021. MAXSAT Heuristics for Cost Optimal Planning. Proceedings of the AAAI Conference on Artificial Intelligence. 26, 1 (Sep. 2021), 1846–1852. DOI:https://doi.org/10.1609/aaai.v26i1.8373.