AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 29 / No.1: The Twenty-Ninth Conference on Artificial Intelligence

What’s Hot in the SAT and ASP Competitions

Download PDF

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.

Authors

Marijn Heule

The University of Texas at Austin


Torsten Schaub

University of Potsdam


DOI:

10.1609/aaai.v29i1.9348