• 萨特4J

  • 引用72篇文章[sw07283]
  • 满意度和优化问题。它可以解决 ,MAXSAT,伪布尔,最小不可满足子集。。。最快的一个解决这些问题Java中的解算器大约是3.25倍。。。
  • 黄蜂

  • 引用36篇[sw09565]
  • WASP实现最初为 解决为了应付。。。学习和回跳。而且,黄蜂将这些结合在一起-基于优化方法的技术。。。
  • 阻力配平

  • 引用28篇文章[sw13313]
  • 前身,德鲁普修剪,目前已知 解决预处理技术可以用。。。
  • 伯克明

  • 引用159篇文章[sw06917]
  • 以查夫为主导的解决方案-解决方案。实验表明我们的程序。。。比糠秕更强壮解决在一个合理的例子中比扯淡的例子更多。。。
  • zChaff公司

  • 引用了35篇文章[sw04757]
  • 众所周知的箔条,一个算法解决可满足性()问题。它赢得了最好的完成。。。
  • 夏普卫星

  • 参考22篇文章[sw16713]
  • 非常适合的方式# 解决. 这些技术是我们高度展示的。。。解算器的性能明显优于其他解算器#解算器。。。
  • 扣环

  • 引用第90条[sw07095]
  • 布尔约束技术解决. 主要的clasp算法依赖于冲突。。。这对满足性检验是非常成功的(). 不像其他学习ASP解决方案,clasp做。。。依赖于遗留软件,如解算器或任何其他现有的ASP解算器。。。真正为答案集开发的解决基于冲突驱动的nogood学习。钩子。。。
  • 预卫星

  • 引用18条[sw07832]
  • 以实用为主 解决. 在我们的软件页面上你会发现解算器。。。
  • 引用25篇文章[sw09758]
  • 糖是一种-基于约束求解器。约束满足问题(CSP)编码。。。公式,是的解决了的由外部解算器。糖也可以解决约束。。。
  • 霍德萨

  • 在10篇文章中引用[sw16712]
  • 并行可满足性的成功途径()解决是经营几个不同的(一个投资组合。。。大规模平行情况 解决. 我们的解算器打算运行在带有。。。Hordsat是一个完全分布式的投资组合求解器与一个模块化设计,允许。。。
  • 协处理器

  • 在14篇文章中引用[sw16739]
  • 也可以对增量应用简化 解决. 实验表明,协处理器2.0的性能优于传统的协处理器。。。
  • 佐藤

  • 引用195篇文章[sw04451]
  • 满足度的主要实用方法()命题逻辑问题。在过去的十年里。。。我们的计划可以提高效率解决一百多个开放拟群问题。。。
  • 武力

  • 参考第9条[sw09016]
  • BDD的大小和加速-解决. 在可达性分析中的应用也很成功。。。比任何现存的解算器。绞肉很难。在这项工作中。。。肉末订购不影响后续订单-解决...
  • 变形杆菌

  • 在10篇文章中引用[sw10080]
  • 近年来,投资组合方法解决 问题和顾客服务提供商越来越普遍。在那里。。。利用这两方面的进展和CSP解决提出了一种新颖的基于层次的投资组合。。。接近顾客服务提供商解决,我们称之为普罗泰斯,这不是纯粹依靠。。。将CSP问题实例编码为,选择适当的编码和相应的。。。
  • CCASat卫星

  • 在10篇文章中引用[sw12924]
  • 解决随机3-实例,进展远远落后。。。随机$k$-$3.k以上的实例。这项工作提出了一个新的变量属性。。。CCAsubscore对于解决随机$k$-$k>3$,并且显著。。。观念不适合解决随机3-...
  • 普韦布洛

  • 引用了29篇文章[sw00743]
  • 将约束转换为泛型为了解决PB可满足性和优化问题。。。解决PB问题,即整数线性规划和CNF的预处理,现在。。。
  • 帕米拉特

  • 在10篇文章中引用[sw06997]
  • 帕米拉特:平行 解决线程和消息传递。这篇文章描述了PaMiraXT,一个强大的。。。其他最先进的算法。在单线程模式下,它的性能优于。。。MiraXT提供尖端性能解决方案在给定的时间内有更多的实例。。。2007年工业基准竞争。。。
  • 萨齐拉

  • 引用84篇文章[sw06281]
  • 为每个实例构造算法组合使用所谓的经验硬度模型。。。例如平均运行时间,实例的百分比解决了的或在比赛中)。优秀的。。。SATzilla在2007年得到独立验证竞争中,我们的SATzilla07解决方案赢得了三个。。。
  • 最大解算器

  • 引用了20篇文章[sw01990]
  • 布尔可满足性的优化匹配(),其中变量赋值是为了满足。。。最具竞争力的精确算法解决最大-. 在本文中,我们提出并研究。。。
  • 范思特

  • 参考第9条[sw08417]
  • 范思哲解决方案,产生认证的“不合格”答案。。。范思特的经验评估解决 现代规模的问题。。。