Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis

Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer. Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. In Jörg Hoffmann, Bart Selman, editors, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. pages 2425-2426, AAAI Press, 2012. [doi]

@inproceedings{GuptaRWPK12,
  title = {Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis},
  author = {Shekhar Gupta and Nico Roos and Cees Witteveen and Bob Price and Johan de Kleer},
  year = {2012},
  url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4878},
  researchr = {https://researchr.org/publication/GuptaRWPK12},
  cites = {0},
  citedby = {0},
  pages = {2425-2426},
  booktitle = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
  editor = {Jörg Hoffmann and Bart Selman},
  publisher = {AAAI Press},
}