Salomé Eriksson, Gabriele Röger, Malte Helmert. Unsolvability Certificates for Classical Planning. In Laura Barbulescu, Jeremy Frank, Mausam, Stephen F. Smith, editors, Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017. pages 88-97, AAAI Press, 2017. [doi]
@inproceedings{ErikssonRH17,
title = {Unsolvability Certificates for Classical Planning},
author = {Salomé Eriksson and Gabriele Röger and Malte Helmert},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15734},
researchr = {https://researchr.org/publication/ErikssonRH17},
cites = {0},
citedby = {0},
pages = {88-97},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017},
editor = {Laura Barbulescu and Jeremy Frank and Mausam and Stephen F. Smith},
publisher = {AAAI Press},
}