-
超小卫星
- 引用584篇文章[sw00577]
- 可扩展坐-解算器。MiniSat是一个极简的开源软件坐求解器,开发用来帮助研究人员…开发人员开始坐它是根据麻省理工学院的许可证发行的…精心制作的坐2005年比赛。。。
-
糠
- 引用591篇文章[sw06916]
- 颖壳:设计高效坐解算器。布尔可满足性可能是组合数学中研究最多的一个…最终发展成几个坐软件包,包括专有的和公共领域的…数量级的性能改进困难坐与其他解决方案相比的基准。。。
-
努西姆
- 引用文献314篇[sw04131]
- 科罗拉多大学的Fabio Somenzi坐-基于模型检查组件,包括…可以连接到Minisat坐解算器和/或ZChaff坐解算器…贡献了SIM,一个最先进的坐版本之前使用的解算器。。。
-
阿萨德
- 引用176篇文章[sw02524]
- 阿萨德(答案由坐是一个计算答案集的系统…逻辑程序坐解决方案。简单地说,给定一个地面逻辑程序P,ASSAT…取决于坐所用的解算器X的工作原理如下:计算完成。。。
-
伯克明
- 引用161篇[sw06917]
- 伯克明:一个快速而强壮的坐-解算器。我们描述一个坐-解决者,伯克敏,继承了…与沙夫,在解决方案的领导者坐-解决方案。实验表明我们的程序。。。
-
萨齐拉
- 引用100篇文章[sw06281]
- SATzilla:基于投资组合的算法选择坐.人们普遍认为…单一的“主导”坐求解器;相反,不同的解算器在不同的实例上表现最好。而不是遵循…为坐使用所谓的经验硬度模型…SATzilla在2007年得到独立验证坐竞争中,我们的SATzilla07解决方案赢得了三个。。。
-
扣环
- 引用104篇文章[sw07095]
- 这对满足性检验是非常成功的(坐). 与其他学习ASP解决方案不同,clasp依赖于遗留软件,例如坐解算器或任何其他现有ASP解算器…格式,由Gringo输出),作为坐解算器(在简化版本的DIMACS/CNF上。。。
-
皮科萨
- 引用89篇文章[sw07092]
- 用于观察文字的结构。用我们的坐解算器PicoSAT显示,这种低水平…也证明了加速坐解决相当多。我们还讨论。。。
-
萨特4J
- 引用86篇文章[sw07283]
- 满意度和优化问题。它可以解决坐,MAXSAT,伪布尔,最小不可满足子集…解决这些问题的最快方法(a坐Java中的解算器大约是3.25倍。。。
-
C模型
- 引用72篇文章[sw04435]
- 选择规则。Cmodels使用的答案集解算器坐解算器作为一个搜索引擎,用于列举…可能的解决方案,在析取程序的情况下坐解算器zChaff也用于验证…程序可以由坐解算器。另一方面,对于不重要的节目。。。
-
卫星库
- 引用59篇文章[sw02107]
- 我们自己使用的工具坐相关研究。一个强烈的动机创造…提供一个统一的试验台坐解决方案以及一个网站收集。。。坐问题实例、算法和算法性能的经验特征。。。
-
曼萨特
- 引用了43篇文章[sw00544]
- 曼萨特:一个平行的坐解算器。ManySAT,一种新的基于投资组合的并行算法坐解决方案,是彻底的…受益于现代人的主要弱点坐解算器:它们对参数调整的敏感度…这与大多数并行算法形成对比坐解算器通常采用分而治之的模式设计。许多工业试验坐实例,以及许多人获得的第一等级。。。