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]
@inproceedings{ErikssonH20,
title = {Certified Unsolvability for SAT Planning with Property Directed Reachability},
author = {Salomé Eriksson and Malte Helmert},
year = {2020},
url = {https://aaai.org/ojs/index.php/ICAPS/article/view/6649},
researchr = {https://researchr.org/publication/ErikssonH20},
cites = {0},
citedby = {0},
pages = {90-100},
booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020},
editor = {J. Christopher Beck and Olivier Buffet and Jörg Hoffmann 0001 and Erez Karpas and Shirin Sohrabi},
publisher = {AAAI Press},
isbn = {978-1-57735-824-4},
}