Christer Bäckström, Peter Jonsson, Simon Ståhlberg. Fast Detection of Unsolvable Planning Instances Using Local Consistency. In Malte Helmert, Gabriele Röger, editors, Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. pages 29-37, AAAI Press, 2013. [doi]
Abstract is missing.