SAT Competition 2018
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
SAT Competition 2018
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
SAT Competition 2018
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>ost</sub> - Ostatní články v recenzovaných periodicích
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
—
Návaznosti
R - Projekt Ramcoveho programu EK
Ostatní
Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Journal on Satisfiability, Boolean Modeling and Computation
ISSN
1574-0617
e-ISSN
1574-0617
Svazek periodika
11
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
22
Strana od-do
133-154
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—