Eriksson, S. and Helmert, M. (2020) “Certified Unsolvability for SAT Planning with Property Directed Reachability”, Proceedings of the International Conference on Automated Planning and Scheduling, 30(1), pp. 90-100. Available at: https://ojs.aaai.org/index.php/ICAPS/article/view/6649 (Accessed: 25February2021).