Eriksson S, Helmert M. Certified Unsolvability for SAT Planning with Property Directed Reachability. ICAPS [Internet]. 2020Jun.1 [cited 2024Apr.22];30(1):90-100. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/6649