ML Anthology

ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers

Fangzhen Lin, Yuting Zhao
AAAI 2002 pp. 112-118
/aaai/2002/lin2002aaai-assat/
PDF AAAI Semantic Scholar

Cite

Text

Lin and Zhao. "ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Lin and Zhao. "ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/lin2002aaai-assat/)

BibTeX

@inproceedings{lin2002aaai-assat,
  title     = {{ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers}},
  author    = {Lin, Fangzhen and Zhao, Yuting},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {112-118},
  url       = {https://mlanthology.org/aaai/2002/lin2002aaai-assat/}
}