2023年SAT竞赛是一项针对布尔可满足性(SAT)问题求解者的竞赛。该竞赛是作为2023年SAT大会的卫星赛事组织的,并延续了一年一度的SAT竞赛和SAT-Races/Challenges系列。目标
过去几年,SAT解决领域取得了巨大进展。许多十年前看似遥不可及的问题现在可以常规处理了。除了新算法和更好的启发式算法外,精细的实现技术对这一成功至关重要。为了保持提高SAT求解器的动力,我们希望激励实现者向更广泛的受众展示他们的工作,并将其与其他人的工作进行比较。邀请学术界和工业界的研究人员提交他们的解算器和基准。
曲目
- 主要轨道
- 有机会从几个不同的校对员中进行选择
- CaDiCaL黑客追踪
- 无限制轨道
- 平行轨道
- 云轨迹(Cloud Track)
重要日期
- 注册开始时间:4月1日
- 基准提交/求解器注册截止日期:4月15日
- 解决方案提交截止日期:4月15日
- 结果公告:2023年7月8日SAT会议