SAT Competition 2018
SAT Competition 2018
复制标题
DOI：
10.3233/sat190120
复制
发表时间：
2019-09
期刊：
影响因子：
--
通讯作者：
E. Hirsch;Daniel Le Berre;Laurent Simon;A. Balint;A. Belov;Matti Järvisalo;Marijn J. H. Heule;Daniel Diepold;Tomás Balyo
中科院分区：
文献类型：
--
作者：
E. Hirsch;Daniel Le Berre;Laurent Simon;A. Balint;A. Belov;Matti Järvisalo;Marijn J. H. Heule;Daniel Diepold;Tomás Balyo
SAT竞赛系列始于2002年，可以说是SAT求解器开发的中心驱动力之一，其基准套件已用于评估数百本研究论文。本文概述了2018年的SAT竞赛，包括比赛轨道和规则，基准提交和选择以及竞争的结果侧重于表现最佳的求解器
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