"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability

Jörg Hoffmann 0001, Peter Kissmann, Álvaro Torralba. "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. In Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, editors, ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Volume 263 of Frontiers in Artificial Intelligence and Applications, pages 441-446, IOS Press, 2014. [doi]

@inproceedings{0001KT14,
  title = {"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability},
  author = {Jörg Hoffmann 0001 and Peter Kissmann and Álvaro Torralba},
  year = {2014},
  doi = {10.3233/978-1-61499-419-0-441},
  url = {http://dx.doi.org/10.3233/978-1-61499-419-0-441},
  researchr = {https://researchr.org/publication/0001KT14},
  cites = {0},
  citedby = {0},
  pages = {441-446},
  booktitle = {ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)},
  editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
  volume = {263},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-61499-419-0},
}