ML Anthology

Advanced Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Benjamin Kaufmann, Torsten Schaub
IJCAI 2013 pp. 912-918
/ijcai/2013/gebser2013ijcai-advanced/
IJCAI Semantic Scholar

Cite

Text

Gebser et al. "Advanced Conflict-Driven Disjunctive Answer Set Solving." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Gebser et al. "Advanced Conflict-Driven Disjunctive Answer Set Solving." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/gebser2013ijcai-advanced/)

BibTeX

@inproceedings{gebser2013ijcai-advanced,
  title     = {{Advanced Conflict-Driven Disjunctive Answer Set Solving}},
  author    = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {912-918},
  url       = {https://mlanthology.org/ijcai/2013/gebser2013ijcai-advanced/}
}