What's Hot in the SAT and ASP Competitions
Marijn J. H. Heule, Torsten H. Schaub · Proceedings of the AAAI Conference on Artificial Intelligence · 2015
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.