ML Anthology

Conflict-Driven Answer Set Solving

Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
IJCAI 2007 pp. 386-
/ijcai/2007/gebser2007ijcai-conflict/
PDF IJCAI Semantic Scholar

Cite

Text

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

Markdown

[Gebser et al. "Conflict-Driven Answer Set Solving." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/gebser2007ijcai-conflict/)

BibTeX

@inproceedings{gebser2007ijcai-conflict,
  title     = {{Conflict-Driven Answer Set Solving}},
  author    = {Gebser, Martin and Kaufmann, Benjamin and Neumann, André and Schaub, Torsten},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {386-},
  url       = {https://mlanthology.org/ijcai/2007/gebser2007ijcai-conflict/}
}