AAAI

Association for the Advancement of Artificial Intelligence

Home > Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 31 > No. 1: Thirty-First AAAI Conference On Artificial Intelligence

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


Proceedings:

No. 1: Thirty-First AAAI Conference On Artificial Intelligence

Volume

Issue:

Proceedings of the AAAI Conference on Artificial Intelligence, 31

Track:

What's Hot Abstracts

Downloads:

Download PDF

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.

DOI:

10.1609/aaai.v31i1.10641


AAAI

Proceedings of the AAAI Conference on Artificial Intelligence, 31