ML Anthology

Fast SAT-Based Answer Set Solver

Zhijun Lin, Yuanlin Zhang, Hector Hernandez
AAAI 2006 pp. 92-97
/aaai/2006/lin2006aaai-fast/
PDF AAAI Semantic Scholar

Cite

Text

Lin et al. "Fast SAT-Based Answer Set Solver." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Lin et al. "Fast SAT-Based Answer Set Solver." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/lin2006aaai-fast/)

BibTeX

@inproceedings{lin2006aaai-fast,
  title     = {{Fast SAT-Based Answer Set Solver}},
  author    = {Lin, Zhijun and Zhang, Yuanlin and Hernandez, Hector},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {92-97},
  url       = {https://mlanthology.org/aaai/2006/lin2006aaai-fast/}
}