SAT竞赛 swMATH ID: 4623 软件作者： Hans van Maaren；法兰柯 描述： 国际SAT竞赛网页。竞赛的目的是确定新的具有挑战性的基准，推广命题可满足性问题（SAT）的新求解器，并将其与最先进的求解器进行比较。我们强烈鼓励在自己的领域考虑基于SAT的技术（规划、硬件或软件验证等）的人提交用于比赛的基准。比赛的结果将很好地表明这种方法目前的可行性。比赛将使用SAT-Ex系统完全自动化。 主页： http://www.satcompetition.org/ 关键词： 坐;基准;比较 相关软件： 超小卫星;萨特齐拉;SMAC公司;萨滕斯坦;帕拉米尔斯;糠;CBMC公司;协处理器;Sparrow2释放;SATO公司;Velev SAT基准;伯克明州;徒步旅行;周六4j;PicoSAT卫星;NiVER公司;UBCSAT公司;CCAnr公司;CCASat卫星;行星实验室 引用于： 6文件 全部的 前5名18位作者引用 2 霍尔格·H·胡斯。 2 凯文·莱顿·布朗 1 卡洛斯·安索特吉 1 阿德里安·巴林特 1 萨姆·贝利斯 1 蔡少伟 1 乔尔·加布 1 弗兰克·哈特 1 马蒂·Järvisalo 1 汤米·A·琼蒂拉。 1 KhudaBukhsh，Ashiqur R。 1 马吕斯·林道尔 1 罗，川 1 尤里·马利茨基 1 阿什什·萨巴沃尔 1 梅诺夫·塞尔曼 1 苏凯乐 1 徐，林 引用于2个系列 三 人工智能 2 约束条件 在1个字段中引用 6 计算机科学（68至XX） 按年份列出的引文