2019年SAT竞赛

隶属于第22届满意度测试理论与应用国际会议
7月7日至12日在葡萄牙里斯本举行。

2019年SAT竞赛是布尔可满足性（SAT）问题解决者的一项竞争性活动。它是作为卫星活动组织的第22届国际理论会议满意度测试及其应用并坚持每年的传统SAT竞赛和SAT竞赛/挑战.

SAT比赛

2019年SAT竞赛是一项精益竞争活动，旨在评估最先进的SAT解算器。与SAT竞赛相比，SAT竞赛只有一条轨道可与SAT的主轨道相媲美竞争。

欢迎使用新基准

鼓励每个参与者（团队）提交20个新的基准实例（以前的比赛中没有见过）。理想情况下，基准应该是“有趣的”：不太容易（MiniSat可以在一分钟内解决）或太难（参与者自己的解算器在一小时内无法解决类似于StarExec集群的节点).请参见基准测试页面了解更多信息。

目标

过去几年，SAT解决领域取得了巨大进展。许多十年前似乎完全无法解决的问题（例如硬件和软件验证）现在可以常规处理。除了新算法和更好的启发式算法外，精细的实现技术对这一成功至关重要。

为了保持提高SAT求解器的动力，我们希望激励实现者向更广泛的受众展示他们的工作，并将其与其他人的工作进行比较。

重要日期

注册开始时间：	2019年3月15日
基准提交截止日期	2019年4月15日2019年4月22日
解算器提交截止日期：	2019年4月15日2019年4月22日
结果公告：	在SAT’19会议

组织机构

学术界和工业界的研究人员受邀向2019年SAT竞赛提交他们的解算器和基准。