Salomé Eriksson, Malte Helmert. Certified Unsolvability for SAT Planning with Property Directed Reachability. In J. Christopher Beck, Olivier Buffet, Jörg Hoffmann 0001, Erez Karpas, Shirin Sohrabi, editors, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. pages 90-100, AAAI Press, 2020. [doi]
Abstract is missing.