Fast Detection of Unsolvable Planning Instances Using Local Consistency

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]

Authors

Christer Bäckström

This author has not been identified. Look up 'Christer Bäckström' in Google

Peter Jonsson

This author has not been identified. Look up 'Peter Jonsson' in Google

Simon Ståhlberg

This author has not been identified. Look up 'Simon Ståhlberg' in Google