SAT Competition 2016: Recent Developments

Authors

  • Tomas Balyo Karlsruhe Institute of Technology Karlsruhe, Germany
  • Marijn Heule The University of Texas at Austin
  • Matti Jarvisalo HIIT, Department of Computer Science University of Helsinki, Finland

DOI:

https://doi.org/10.1609/aaai.v31i1.10641

Keywords:

satisfiability, competition, benchmarks

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.

AAAI-2017 Proceedings Cover

Downloads

Published

2017-02-12

How to Cite

Balyo, T., Heule, M., & Jarvisalo, M. (2017). SAT Competition 2016: Recent Developments. Proceedings of the AAAI Conference on Artificial Intelligence, 31(1). https://doi.org/10.1609/aaai.v31i1.10641

Issue

Vol. 31 No. 1 (2017): Thirty-First AAAI Conference on Artificial Intelligence

Section

What's Hot Abstracts