SAT Competition 2018
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F19%3A00339886" target="_blank" >RIV/68407700:21730/19:00339886 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.3233/SAT190120" target="_blank" >https://doi.org/10.3233/SAT190120</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3233/SAT190120" target="_blank" >10.3233/SAT190120</a>
Alternative languages
Result language
angličtina
Original language name
SAT Competition 2018
Original language description
The SAT Competition series, which started in 2002, is arguably one of the central driving forces of SAT solver development and its benchmark suites have been used in evaluations of hundreds of research papers. This article provides an overview of the 2018 edition of the SAT Competitions, including the competition tracks and rules, benchmark submission and selection, and the results of the competition focusing on the best-performing solvers.
Czech name
—
Czech description
—
Classification
Type
J<sub>ost</sub> - Miscellaneous article in a specialist periodical
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
R - Projekt Ramcoveho programu EK
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal on Satisfiability, Boolean Modeling and Computation
ISSN
1574-0617
e-ISSN
1574-0617
Volume of the periodical
11
Issue of the periodical within the volume
1
Country of publishing house
GB - UNITED KINGDOM
Number of pages
22
Pages from-to
133-154
UT code for WoS article
—
EID of the result in the Scopus database
—