2006年SAT竞赛

8月12-15日，美国华盛顿州西雅图，隶属于06年夏令时

SAT-Race 2006是一项针对布尔运算求解者的竞赛项目可满足性（SAT）问题。它是作为卫星活动组织的第九届满意度测试理论与应用国际会议(06年夏令时)并坚持年度坐竞争自2002年起举行。与SAT竞赛相比，SAT-Race 2006的重点仅在于行业基准。此外，解决每个实例的时间限制为15分钟。

目标

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

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

组织机构

学术界和工业界的研究人员被邀请以源代码或二进制格式向SAT-Race 2006提交他们的解算器。在SAT-Race期间，所有参与者都必须解算一组DIMACS CNF格式的基准实例，这些实例将从实例池中随机抽取。该集合将主要由以前SAT竞赛（工业类别）的基准组成，但可能会扩展为与工业相关的其他实例。准确的基准集不会提前公布；将使一组类似的基准实例可用于测试目的，然而。

对于每个实例和解算器，时间限制为15分钟。我们还将组织资格赛，其中至少有一场比赛是必须参加的，才能获得SAT比赛的资格。

求解器的评估将基于成功处理实例的数量和求解它们所需的时间。