• 超小卫星

  • 引用了536篇文章[sw00577]
  • 可扩展-解算器。MiniSat是一个极简的开源软件解算器,用来帮助研究人员。。。开发人员一样开始. 它是根据麻省理工学院的许可证发布的。。。精心设计的2005年比赛。。。
  • 引用570篇文章[sw06916]
  • C哈夫:工程和有效率的解算器。布尔可满足性可能是组合数学中研究最多的一个。。。最终发展成软件包,包括专有的和公共领域的。。。数量级性能改进与其他解决方案相比的基准。。。
  • 努西姆

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

  • 引用508篇文章[sw05492]
  • 允许访问外部程序,如和BDD引擎。HOL4特别。。。
  • 阿萨德

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

  • 引用160篇文章[sw06917]
  • 伯克明:一个快速而强壮的-解算器。我们描述一个-解算器,伯克敏,继承了。。。以查夫为主导的解决方案-解决方案。实验表明我们的程序。。。
  • 佐藤

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

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

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

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

  • 引用80篇文章[sw07092]
  • 用于观察文字的结构。用我们的解算器PicoSAT显示这个低层。。。结果也加速了解决相当多。我们还讨论。。。
  • C模型

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

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

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

  • 引用44篇文章[sw08660]
  • MAX-NAE-f3g的改进逼近算法-. 最后,我们提供了一些证据表明。。。得到改进的MAX-NAE近似算法-还有麦克斯. 1介绍。。。
  • 帕米尔斯

  • 引用了70篇文章[sw00678]
  • 突出的完全和不完全算法. 据我们所知,我们也展示了。。。