• 超小卫星

  • 引用547篇文章[sw00577]
  • 可扩展-解算器. 它是一个小型的开源软件 解算器,旨在帮助研究人员。。。开发人员一样开始. 它是根据麻省理工学院的许可证发布的。。。与miniat相关,包括伪布尔解算器MiniSat+和CNF minimizer/预处理器卫星。一起。。。精心设计的2005年比赛。。。
  • 引用了574篇文章[sw06916]
  • 颖壳:设计高效 解算器. 布尔可满足性可能是组合数学中研究最多的一个。。。最终发展成软件包,包括专有的和公共领域的。。。研究和工业。最现有的完整解算器戴维斯·普特南的变种。。。困难的绩效改进与其他基准相比解算器(DP或其他),包括。。。
  • 努西姆

  • 引用299篇文章[sw04131]
  • 连接到Minisat 解算器哈弗和ZCF 解算器. 大学。。。最先进的 解算器在2.5.0版之前使用,RBC包。。。
  • 阿萨德

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

  • 引用160篇文章[sw06917]
  • 伯克明:一个快速而强壮的-解算器. 我们描述一个-解算器伯克明,继承了。。。查夫,以决心为基础的领导者-解算器. 实验表明,我们的程序更具。。。
  • 扣环

  • 引用93篇文章[sw07095]
  • 下载页面。钩子是一个答案集解算器用于(扩展)正常逻辑程序。它结合了。。。满足性检查成功(). 不像其他学习ASP解算器,扣不靠。。。遗留软件,如 解算器或任何其他现有ASP解算器. 相反,扣住。。。Gringo输出),作为 解算器(关于DIMACS/CNF格式的简化版本。。。
  • 皮科萨

  • 引用80篇文章[SW092号文件]
  • 观察文字。用我们的 解算器PicoSAT显示这种低层次的优化。。。结果是为了加速 解算器相当地。我们还讨论了如何存储。。。
  • C模型

  • 引用67篇文章[sw04435]
  • 规则。答案集解算器Cmodels使用 解算器作为一个枚举模型的搜索引擎。。。解决方案,如果是析取程序 解算器zChaff也用于验证。。。程序可以由 解算器. 另一方面,对于不重要的节目。。。
  • 萨齐拉

  • 引用86篇文章[sw06281]
  • 没有单一的“主导” 解算器; 相反,不同解算器在不同的。。。传统的择优方法解算器对于给定的一类实例,我们主张。。。他们使用所谓的经验硬度模型来选择它们的成分解算器. 这个。。。2007年验证竞争,我们的SATzilla07解算器赢得三金一银。。。
  • 萨特4J

  • 引用75篇文章[sw07283]
  • 解决这些问题(a 解算器在Java中大约是。。。
  • 依斯

  • 在142篇文章中引用[sw04436]
  • Yices是一种高效的SMT解算器这就决定了含有未解释的任意公式的可满足性。。。像普通人一样有竞争力和MaxSAT解算器...
  • 卫星库

  • 参考58篇文章[sw02107]
  • 基准问题,解算器,以及我们自己使用的工具相关研究。。。提供统一的试验台 解算器以及一个网站收集。。。
  • 曼萨特

  • 引用36篇[sw00544]
  • 曼萨特:一个平行的 解算器. ManySAT,一种新的基于投资组合的并行算法 解算器,是彻底的。。。从现代人的主要弱点 解算器:他们对参数调整的敏感性和他们的。。。与大多数平行的 解算器通常设计使用分而治之的。。。
  • 沙塔拉

  • 引用52篇文章[sw06849]
  • 具有可扩展性和选择运算符。这个 解算器Miniat负责很多。。。
  • 最小最大卫星

  • 在34篇文章中引用【sw09732】
  • MiniMaxSat:一种新的加权Max- 解算器. 本文介绍了MiniMaxSat。。。 解算器融合了最好的还有麦克斯-技术。它很难处理。。。
  • iProver公司

  • 引用49篇文章[sw09707]
  • 特别是,任何最先进的技术 解算器可以集成到我们的框架中。iProver。。。
  • 数学5

  • 引用了45篇文章[sw09569]
  • mathsat5 SMT解算器. MathSAT是一个长期项目,它已经被联合进行。。。数组和浮点;第三,声音-型布尔公式预处理;最后。。。用户的插件自定义调整 解算器. MathSAT5免费提供。。。
  • 葡萄糖

  • 在39篇文章中引用[sw07833]
  • 葡萄糖 解算器. 葡萄糖是基于一个新的计分方案(嗯。。。所谓“现代”的从句学习机制索夫勒(它是根据我们的IJCAI。。。竞赛09版葡萄糖。解算器的名字是这个概念的缩略。。。