What's Hot in the SAT and ASP Competitions

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.

• Type: Journal
• Year: 2015
• Where: AAAI
• Authors: Marijn Heule, Torsten Schaub
• Keywords: AAAI 2015, Intelligent Agents