2020年SAT竞赛

隶属于第23届满意度测试理论与应用国际会议2020年7月5日至9日在意大利阿尔盖罗举行。

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

目标

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

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

曲目

2020年SAT竞赛将包括以下轨道*：

*参与者少于3人的曲目将被取消。

重要日期

注册开始时间： 3月1日
基准提交截止日期 3月31日5月1日
解算器提交截止日期： 3月31日5月1日
结果公告： 在SAT’20会议

组织

学术界和工业界的研究人员被邀请向2020年SAT竞赛提交他们的解决方案和基准。