What's Hot in the SAT and ASP Competitions

Marijn Heule; Torsten Schaub

doi:10.1609/aaai.v29i1.9348

What's Hot in the SAT and ASP Competitions

Authors

Marijn Heule The University of Texas at Austin
Torsten Schaub University of Potsdam

DOI:

https://doi.org/10.1609/aaai.v29i1.9348

Keywords:

SAT, ASP, Competitions

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.

Downloads

Published

2015-03-04

How to Cite

Heule, M., & Schaub, T. (2015). What’s Hot in the SAT and ASP Competitions. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9348