结果1至20588
排序依据：

  • 超小卫星
  • 引用文献531篇[sw00577]
  • 可扩展坐-解算器。MiniSat是一个极简的开源软件坐解算器，用来帮助研究人员。。。开发人员一样开始坐. 它是根据麻省理工学院的许可证发布的。。。精心设计的坐2005年比赛。。。

  • 糠
  • 引用567篇文章[sw06916]
  • 高效工程坐解算器。布尔可满足性可能是组合数学中研究最多的一个。。。最终发展成坐软件包，包括专有的和公共领域的。。。数量级性能改进坐与其他解决方案相比的基准。。。

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

  • 荷兰语
  • 在502篇文章中引用[sw05492]
  • 允许访问外部程序，如坐发动机和BDD。HOL4特别。。。

  • 阿萨德
  • 在168篇文章中引用[sw02524]
  • 阿萨德（答案由坐是一个计算答案集的系统。。。使用逻辑程序坐解决方案。简单地说，给定一个地面逻辑程序P，ASSAT。。。取决于坐所用的解算器X的工作原理如下：计算完成。。。

  • 伯克明
  • 引用第160条[sw06917]
  • 伯克明：一个快速而强壮的坐-解算器。我们描述一个坐-解算器，伯克敏，继承了。。。以查夫为主导的解决方案坐-解决方案。实验表明我们的程序。。。

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

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

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

  • 依斯
  • 引用138篇文章[sw04436]
  • 核心）和竞争作为一个普通的坐和MaxSAT解算器。。。

  • 皮科萨
  • 引用79篇文章[sw07092]
  • 用于观察文字的结构。用我们的坐解算器PicoSAT显示这个低层。。。结果也加速了坐相当大的解算器。我们还讨论。。。

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

  • 萨特4J
  • 引用75篇文章[sw07283]
  • 满意度和优化问题。它可以解决坐，MAXSAT，伪布尔，最小不可满足子集。。。解决这些问题的最快方法（a坐大约是Java解算器的3倍。。。

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

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

  • 帕米尔斯
  • 引用68篇文章[sw00678]
  • 突出的完全和不完全算法坐. 据我们所知，我们也展示了。。。

  • 最小最大卫星
  • 在34篇文章中引用【sw09732】
  • MiniMaxSat：一种新的加权Max-坐解算器。本文介绍了MiniMaxSat。。。坐融合最优秀的解决方案坐还有麦克斯-坐技术。它很难处理。。。条款（强制性满足条款，如坐)，软条款（造假被处罚的条款。。。最高成本-坐)以及伪布尔目标函数和约束。。。