SAT-Based Answer Set Programming

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

AAAI 2004 pp. 61-66

/aaai/2004/giunchiglia2004aaai-sat/

Cite

Text

Giunchiglia et al. "SAT-Based Answer Set Programming." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Giunchiglia et al. "SAT-Based Answer Set Programming." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/giunchiglia2004aaai-sat/)

BibTeX

@inproceedings{giunchiglia2004aaai-sat,
  title     = {{SAT-Based Answer Set Programming}},
  author    = {Giunchiglia, Enrico and Lierler, Yuliya and Maratea, Marco},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {61-66},
  url       = {https://mlanthology.org/aaai/2004/giunchiglia2004aaai-sat/}
}