Bäckström, Christer, Peter Jonsson, and Simon Ståhlberg. 2021. “Fast Detection of Unsolvable Planning Instances Using Local Consistency”. Proceedings of the International Symposium on Combinatorial Search 4 (1):29-37. https://doi.org/10.1609/socs.v4i1.18294.