Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert. Detecting Unsolvability Based on Separating Functions. In Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh 0001, editors, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022. pages 44-52, AAAI Press, 2022. [doi]
@inproceedings{ChristenEPH22,
title = {Detecting Unsolvability Based on Separating Functions},
author = {Remo Christen and Salomé Eriksson and Florian Pommerening and Malte Helmert},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19784},
researchr = {https://researchr.org/publication/ChristenEPH22},
cites = {0},
citedby = {0},
pages = {44-52},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022},
editor = {Akshat Kumar and Sylvie Thiébaux and Pradeep Varakantham and William Yeoh 0001},
publisher = {AAAI Press},
isbn = {978-1-57735-874-9},
}