@inproceedings{backstrom-et-al-socs2013,
  author       = {Christer B{\"a}ckstr{\"o}m and Peter Jonsson and Simon St{\aa}hlberg},
  title        = {Fast Detection of Unsolvable Planning Instances Using Local Consistency},
  pages        = {29--37},
  editor       = {Malte Helmert and Gabriele R{\"o}ger},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Combinatorial Search (SoCS
    2013)},
  publisher    = {AAAI Press},
  year         = 2013,
}