What’s Hot in the SAT and ASP Competitions

March 8, 2023

Download PDF

Authors

Marijn Heule

The University of Texas at Austin

Torsten Schaub

University of Potsdam

DOI:

10.1609/aaai.v29i1.9348

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.

HOW TO CITE:

Marijn Heule|| Torsten Schaub What’s Hot in the SAT and ASP Competitions Proceedings of the AAAI Conference on Artificial Intelligence, 29 (2015) .

Marijn Heule|| Torsten Schaub What’s Hot in the SAT and ASP Competitions AAAI 2015, .

Marijn Heule|| Torsten Schaub (2015). What’s Hot in the SAT and ASP Competitions. Proceedings of the AAAI Conference on Artificial Intelligence, 29, .

Marijn Heule|| Torsten Schaub. What’s Hot in the SAT and ASP Competitions. Proceedings of the AAAI Conference on Artificial Intelligence, 29 2015 p..

Marijn Heule|| Torsten Schaub. 2015. What’s Hot in the SAT and ASP Competitions. "Proceedings of the AAAI Conference on Artificial Intelligence, 29". .

Marijn Heule|| Torsten Schaub. (2015) "What’s Hot in the SAT and ASP Competitions", Proceedings of the AAAI Conference on Artificial Intelligence, 29, p.

Marijn Heule|| Torsten Schaub, "What’s Hot in the SAT and ASP Competitions", AAAI, p., 2015.

Marijn Heule|| Torsten Schaub. "What’s Hot in the SAT and ASP Competitions". Proceedings of the AAAI Conference on Artificial Intelligence, 29, 2015, p..

Marijn Heule|| Torsten Schaub. "What’s Hot in the SAT and ASP Competitions". Proceedings of the AAAI Conference on Artificial Intelligence, 29, (2015): .

Marijn Heule|| Torsten Schaub. What’s Hot in the SAT and ASP Competitions. AAAI[Internet]. 2015[cited 2023]; .

ISSN: 2374-3468

Published by AAAI Press, Palo Alto, California USA
Copyright 2022, Association for the Advancement of
Artificial Intelligence 1900 Embarcadero Road, Suite
101, Palo Alto, California 94303 All Rights Reserved

Privacy Overview

This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.

Necessary

Always Enabled

Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously.

Cookie	Duration	Description
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Functional

Performance

Analytics

Others