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]
Abstract is missing.