2015年SAT等级

2015年9月24日至27日，美国德克萨斯州奥斯汀，隶属于第18届满意度测试理论与应用国际会议

2015年SAT-Race是布尔可满足性（SAT）问题解决者的一项竞争活动。它是作为卫星活动组织的这个第18届可满足性测试理论与应用国际会议，2015年9月24日至27日，美国得克萨斯州奥斯汀并坚持每年的传统SAT竞赛和SAT-成绩/挑战。与SAT竞赛相比，SAT-Race的重点仅在于应用程序基准测试。

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

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

SAT-Race 2015将包括三条轨道：

*注册意味着创建StarExec帐户并发送电子邮件（至satrace2015@googlegroups.com)包含您想要参与的曲目列表。请参见规则和说明了解更多详细信息。

邀请学术界和工业界的研究人员向2015年SAT-Race提交他们的解算器和基准。