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.
Cite
CITATION STYLE
APA
Heule, M. J. H., & Schaub, T. (2015). What’s hot in the SAT and ASP competitions. In Proceedings of the National Conference on Artificial Intelligence (Vol. 6, pp. 4322–4323). AI Access Foundation. https://doi.org/10.1609/aaai.v29i1.9348
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free