SAT竞赛

2022年SAT竞赛是一项针对布尔可满足性（SAT）问题求解者的竞赛。它是作为卫星活动组织的2022年SAT会议并坚持每年一度的传统SAT竞赛和SAT竞赛/挑战.

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

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

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

2022-09-07，用于StarExec公司用户：新的子空间“SAT/基准”包含2019-2022年主轨道和2022年周年轨道的基准集
2022-09-01正线和的周年纪念曲目现在可用于下载.
2022-09-01相继的和并行求解器现在可用于下载.
2022-08-25,2022年SAT竞赛记录在线！
2022-08-18年，我们将在本次比赛中宣布一个新的获胜者：凯迪卡·哈克赛道的冠军是诺伯特·曼泰（Norbert Manthey）及其解算器Cadical-watchsat-lto。之所以延迟发布，是因为许多Cadical黑客行为没有在提交电子邮件中发布，而只是在解算器描述中发布。未来，我们将对提交邮件中必须宣布的内容提供更明确的说明。
~~2022-08-12，草案版本2022年SAT竞赛记录现在在线供各种解算器和基准描述的作者检查。~~
2022-08-10年结果处于联机状态，并且详细结果可以下载。
2022-08-06，行动呼吁：尊敬的SAT竞赛获胜者，为了获得奖牌，请尽快将您的联系方式发送至马库斯·伊泽尔。邮件地址将转发给中国科学院由谁来赞助价格并负责发货。您将收到一个包裹，包括FLOC奖牌。
2022-08-06,结果展示
2022-04-28，还请说明您提交的哪些文件应为周年纪念曲目（无论是常规提交的子集还是单独提交的）
2022-04-27，关于StarExec使用新的预处理器xcat解压缩基准测试
2022-04-26，关于提交的数量

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

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