• 超小卫星

  • 引用584篇文章[sw00577]
  • 可扩展-解算器。MiniSat是一个极简的开源软件求解器,开发用来帮助研究人员…开发人员开始它是根据麻省理工学院的许可证发行的…精心制作的2005年比赛。。。
  • 引用591篇文章[sw06916]
  • 颖壳:设计高效解算器。布尔可满足性可能是组合数学中研究最多的一个…最终发展成几个软件包,包括专有的和公共领域的…数量级的性能改进困难与其他解决方案相比的基准。。。
  • 荷兰语

  • 引用594篇文章[sw05492]
  • 允许访问外部程序,如和BDD引擎。HOL4特别。。。
  • 努西姆

  • 引用文献314篇[sw04131]
  • 科罗拉多大学的Fabio Somenzi-基于模型检查组件,包括…可以连接到Minisat解算器和/或ZChaff解算器…贡献了SIM,一个最先进的版本之前使用的解算器。。。
  • 阿萨德

  • 引用176篇文章[sw02524]
  • 阿萨德(答案由是一个计算答案集的系统…逻辑程序解决方案。简单地说,给定一个地面逻辑程序P,ASSAT…取决于所用的解算器X的工作原理如下:计算完成。。。
  • 伯克明

  • 引用161篇[sw06917]
  • 伯克明:一个快速而强壮的-解算器。我们描述一个-解决者,伯克敏,继承了…与沙夫,在解决方案的领导者-解决方案。实验表明我们的程序。。。
  • 佐藤

  • 引用了197篇文章[sw04451]
  • 满足度的主要实用方法()命题逻辑问题。在过去的十年里。。。
  • 萨齐拉

  • 引用100篇文章[sw06281]
  • SATzilla:基于投资组合的算法选择.人们普遍认为…单一的“主导”求解器;相反,不同的解算器在不同的实例上表现最好。而不是遵循…为使用所谓的经验硬度模型…SATzilla在2007年得到独立验证竞争中,我们的SATzilla07解决方案赢得了三个。。。
  • 扣环

  • 引用104篇文章[sw07095]
  • 这对满足性检验是非常成功的(). 与其他学习ASP解决方案不同,clasp依赖于遗留软件,例如解算器或任何其他现有ASP解算器…格式,由Gringo输出),作为解算器(在简化版本的DIMACS/CNF上。。。
  • 依斯

  • 在157篇文章中引用[sw04436]
  • 核心)和竞争作为一个普通的和MaxSAT解算器。。。
  • 皮科萨

  • 引用89篇文章[sw07092]
  • 用于观察文字的结构。用我们的解算器PicoSAT显示,这种低水平…也证明了加速解决相当多。我们还讨论。。。
  • 萨特4J

  • 引用86篇文章[sw07283]
  • 满意度和优化问题。它可以解决,MAXSAT,伪布尔,最小不可满足子集…解决这些问题的最快方法(aJava中的解算器大约是3.25倍。。。
  • C模型

  • 引用72篇文章[sw04435]
  • 选择规则。Cmodels使用的答案集解算器解算器作为一个搜索引擎,用于列举…可能的解决方案,在析取程序的情况下解算器zChaff也用于验证…程序可以由解算器。另一方面,对于不重要的节目。。。
  • 卫星库

  • 引用59篇文章[sw02107]
  • 我们自己使用的工具相关研究。一个强烈的动机创造…提供一个统一的试验台解决方案以及一个网站收集。。。问题实例、算法和算法性能的经验特征。。。
  • 帕米尔斯

  • 引用87篇文章[sw00678]
  • 突出的完全和不完全算法.我们还介绍了据我们所知。。。
  • 曼萨特

  • 引用了43篇文章[sw00544]
  • 曼萨特:一个平行的解算器。ManySAT,一种新的基于投资组合的并行算法解决方案,是彻底的…受益于现代人的主要弱点解算器:它们对参数调整的敏感度…这与大多数并行算法形成对比解算器通常采用分而治之的模式设计。许多工业试验实例,以及许多人获得的第一等级。。。