Conflict-Driven Disjunctive Answer Set Solving

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub. Conflict-Driven Disjunctive Answer Set Solving. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 422-432, AAAI Press, 2008.

@inproceedings{DrescherGGKKOS08,
  title = {Conflict-Driven Disjunctive Answer Set Solving},
  author = {Christian Drescher and Martin Gebser and Torsten Grote and Benjamin Kaufmann and Arne König and Max Ostrowski and Torsten Schaub},
  year = {2008},
  researchr = {https://researchr.org/publication/DrescherGGKKOS08},
  cites = {0},
  citedby = {0},
  pages = {422-432},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008},
  editor = {Gerhard Brewka and Jérôme Lang},
  publisher = {AAAI Press},
  isbn = {978-1-57735-384-3},
}