What's Hot in the SAT and ASP Competitions
Heule, Marijn (The University of Texas at Austin) | Schaub, Torsten (University of Potsdam)
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.
Mar-6-2015
- Country:
- Europe > Austria
- Vienna (0.26)
- North America > United States
- Texas > Travis County > Austin (0.15)
- Europe > Austria
- Technology: