Mugdan E, Christen R, Eriksson S. Optimality Certificates for Classical Planning. ICAPS [Internet]. 2023Jul.1 [cited 2024Jul.28];33(1):286-94. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/27206