比赛的目的是确定新的挑战基准并推广新的解算器命题可满足性问题(SAT)并将其与最先进的求解器进行比较。我们强烈鼓励人们思考关于其领域内基于SAT的技术(规划、硬件或软件验证等),以提交用于竞赛的基准。比赛的结果将是当前形势的一个良好指标这种方法的可行性。比赛将完全自动化使用SAT-Ex公司系统。
汉斯·范·马伦(Hans van Maaren)和约翰·弗兰科(John Franco)为第一届SAT竞赛的成功做出了重大贡献。
[SAT-Ex公司][萨特利卜][SAT直播!]
印记 隐私