What's Hot in the SAT and ASP Competitions

Marijn Heule, Torsten Schaub

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.