What's Hot in the SAT and ASP Competitions

AAAI 2015 pp. 4322-4323

doi:10.1609/AAAI.V29I1.9348 /aaai/2015/heule2015aaai-hot/

Abstract

During the Vienna Summer of Logic, the first FLoC Olympic Games were organized, bringing together a dozen competitions related to logic. Here we present the highlights of the Satisfiability (SAT) and Answer Set Programming (ASP) competitions.

PDF AAAI Semantic Scholar

Cite

Text

Heule and Schaub. "What's Hot in the SAT and ASP Competitions." AAAI Conference on Artificial Intelligence, 2015. doi:10.1609/AAAI.V29I1.9348

Markdown

[Heule and Schaub. "What's Hot in the SAT and ASP Competitions." AAAI Conference on Artificial Intelligence, 2015.](https://mlanthology.org/aaai/2015/heule2015aaai-hot/) doi:10.1609/AAAI.V29I1.9348

BibTeX

@inproceedings{heule2015aaai-hot,
  title     = {{What's Hot in the SAT and ASP Competitions}},
  author    = {Heule, Marijn and Schaub, Torsten},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {4322-4323},
  doi       = {10.1609/AAAI.V29I1.9348},
  url       = {https://mlanthology.org/aaai/2015/heule2015aaai-hot/}
}