MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis

Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz. MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 3221-3228, AAAI Press, 2015. [doi]

@inproceedings{ShchekotykhinJS15,
  title = {MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis},
  author = {Kostyantyn M. Shchekotykhin and Dietmar Jannach and Thomas Schmitz},
  year = {2015},
  url = {http://ijcai.org/papers15/Abstracts/IJCAI15-454.html},
  researchr = {https://researchr.org/publication/ShchekotykhinJS15},
  cites = {0},
  citedby = {0},
  pages = {3221-3228},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015},
  editor = {Qiang Yang 0001 and Michael Wooldridge},
  publisher = {AAAI Press},
  isbn = {978-1-57735-738-4},
}