Christen, R.; Eriksson, S.; Pommerening, F.; Helmert, M. Detecting Unsolvability Based on Separating Functions. ICAPS 2022, 32, 44-52.