开始搜索几个单词就足够了。如果您需要进行更复杂的查询，请使用以下提示为您提供指导。
问题标题：SAT 2018竞赛和评估
客座编辑：马蒂娜·塞德尔和卢卡·普利纳
文章类型：研究文章
作者：Heule，Marijn J.H。一;*|马蒂·Järvisalob条;**|马丁·苏达c（c）;***
附属公司：[一]美国匹兹堡卡内基梅隆大学计算机科学系。电子邮件：[电子邮件保护]|[b条]芬兰赫尔辛基大学计算机科学系HIIT。电子邮件：[电子邮件保护]|[c（c）]位于捷克共和国布拉格的捷克技术大学捷克信息学、机器人学和控制论研究所。电子邮件：[电子邮件保护]
注：[*]国家科学基金会（NSF）资助，CCF-1813993。
注：[**]芬兰科学院资助（276412和312662）。
注：[***]由ERC合并拨款AI4REASON 649043、ERC启动拨款SYMCAR 639270和奥地利研究项目FWF S11409-N23支持。
关键词：SAT、布尔可满足性、经验评估、求解器、基准
内政部：10.3233/SAT190120
日志：可满足性、布尔建模与计算杂志，第11卷，第1期，第133-1541919页
始于2002年的SAT竞赛系列可以说是SAT求解器开发的主要驱动力之一，其基准套件已用于数百篇研究论文的评估。本文概述了2018年SAT竞赛的概况，包括竞赛轨道和规则、基准提交和选择，以及以表现最佳的解决者为重点的竞赛结果。
