SAT Competition 2016: Recent Developments

Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo

AAAI 2017 pp. 5061-5063

doi:10.1609/AAAI.V31I1.10641 /aaai/2017/balyo2017aaai-sat/

Abstract

We give an overview of SAT Competition 2016, the 2016 edition of thefamous competition for Boolean satisfiability (SAT) solvers with over 20 years of history. A key aim is to point out ``what's hot'' in SAT competitions in 2016, i.e., new developments in thecompetition series, including new competition tracks and new solver techniquesimplemented in some of the award-winning solvers.

PDF AAAI Semantic Scholar

Cite

Text

Balyo et al. "SAT Competition 2016: Recent Developments." AAAI Conference on Artificial Intelligence, 2017. doi:10.1609/AAAI.V31I1.10641

Markdown

[Balyo et al. "SAT Competition 2016: Recent Developments." AAAI Conference on Artificial Intelligence, 2017.](https://mlanthology.org/aaai/2017/balyo2017aaai-sat/) doi:10.1609/AAAI.V31I1.10641

BibTeX

@inproceedings{balyo2017aaai-sat,
  title     = {{SAT Competition 2016: Recent Developments}},
  author    = {Balyo, Tomás and Heule, Marijn J. H. and Järvisalo, Matti},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5061-5063},
  doi       = {10.1609/AAAI.V31I1.10641},
  url       = {https://mlanthology.org/aaai/2017/balyo2017aaai-sat/}
}