Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:helda.helsinki.fi:10138/335114

SAT Competition 2020

Authors
Publication date
1 December 2021
Publisher
Elsevier Scientific Publ. Co
Doi

    Abstract

    The SAT Competitions constitute a well-established series of yearly open international algorithm implementation competitions, focusing on the Boolean satisfiability (or propositional satisfiability, SAT) problem. In this article, we provide a detailed account on the 2020 instantiation of the SAT Competition, including the new competition tracks and benchmark selection procedures, overview of solving strategies implemented in top-performing solvers, and a detailed analysis of the empirical data obtained from running the competition. (C) 2021 The Authors. Published by Elsevier B.V.Peer reviewe

    Similar works

    Full text

    thumbnail-image

    Helsingin yliopiston digitaalinen arkisto

    redirect
    oaioai:helda.helsinki.fi:10138/33...
    Last time updated on 29/10/2021

    This paper was published in Helsingin yliopiston digitaalinen arkisto.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.