Sciweavers

AAAI
2015

What's Hot in the SAT and ASP Competitions

8 years 8 months ago
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.
Marijn Heule, Torsten Schaub
Added 27 Mar 2016
Updated 27 Mar 2016
Type Journal
Year 2015
Where AAAI
Authors Marijn Heule, Torsten Schaub
Comments (0)