• SAT4J

  • 67篇参考文献[SW0783]
  • 满意度和优化问题。它可以解决 SAT考试,Max SAT,伪布尔,极小不可满足子集…最快的一个解决那些问题(A)SAT考试Java中的求解器大约是3.25次。
  • 伯克明

  • 158篇参考文献[SW06917]
  • 以箔条为基础,在分辨率基础上SAT考试解算器。实验表明,我们的程序…比箔条更鲁棒解决在合理的情况下比箔条更多的实例…
  • 德拉特修剪

  • 25篇参考文献[SW13313]
  • 前任,DRUP装饰,所有目前已知SAT考试 解决预处理技术可以用…
  • 黄蜂

  • 23篇参考文献[SW09565 ]
  • WASP实现最初引进的技术SAT考试 解决已经扩展到应付…学习和回跳。此外,黄蜂结合了这些SAT考试基于技术的优化方法,具有…
  • 夏普萨特

  • 21篇参考文献[SW16713]
  • 非常适合于SAT考试 解决. 我们表明,这些技术是高度…求解器的性能明显优于其他SAT考试求解器…
  • 扣环

  • 80篇参考文献[SW07095]
  • 布尔约束领域的技术解决. 主要的CLAP算法依赖于冲突…证明了可满足性检验是非常成功的。SAT考试不像其他学习ASP求解器,扣…依赖遗留软件,例如SAT考试求解器或任何其他现有的ASP求解器…为答案集而真正开发出来的解决基于冲突驱动的NOGOLD学习。扣…
  • 预扫描

  • 16篇参考文献[ SW07832 ]
  • 主要着眼于实践SAT考试 解决. 在我们的软件页面上,你会发现SAT考试求解器…
  • 25篇参考文献[SW0978]
  • 糖是一种SAT考试基于约束的求解器。约束满足问题(CSP)编码…公式,它是解决了的由外部SAT考试求解器。糖也可以解决约束…
  • 扎哈夫

  • 24篇参考文献[SW04707]
  • 熟知箔条的一种算法解决可满足性(可满足性)SAT考试)问题。它赢得了最好的完整…
  • 骑马人

  • 10篇参考文献[SW16712]
  • 并行可满足性的成功途径SAT考试解决是运行几个不同的(投资组合…大规模并行的情况SAT考试 解决. 我们的解决方案是打算运行在集群与…HORDESAT是一个完全分布式的基于组合的SAT考试解算器的模块化设计,使…
  • 佐藤

  • 195篇参考文献[ SW044 551 ]
  • 可满足性的主要实用方法SAT考试命题逻辑的问题。在过去的十年里…我们的项目效率使我们能够解决超过一百个开的拟群问题…
  • 变形杆菌属

  • 11篇参考文献[SW10080]
  • 近年来,投资组合方法解决 SAT考试问题和CSP已经变得越来越普遍。那里…杠杆的进步SAT考试CSP解决提出了一种新的基于层次结构的投资组合模型。CSP方法探讨解决我们称之为Proteus,不纯粹依赖…将CSP问题实例编码为SAT考试选择合适的编码和相应的…
  • 协处理器

  • 13篇参考文献[SW16739 ]
  • 简化也适用于增量SAT考试 解决. 实验表明,协处理器2比…
  • 9篇参考文献[SW09016]
  • BDDS的规模与加速SAT考试-解决. 可达性分析的应用也取得了成功。比任何现有的大几倍SAT考试求解器。调整剁碎是困难的。在这项工作中…剁碎顺序不影响后续SAT考试-解决
  • 普韦布洛

  • 29篇参考文献[SW073]
  • 泛型约束SAT考试求解者为了解决PB可满足性和优化问题…解决PB问题,即整数线性规划和CNF的预处理SAT考试并呈现…
  • 帕米拉克

  • 10篇参考文献[SW06997 ]
  • PaMiraXT:平行SAT考试 解决通过线程和消息传递。本文描述了PaMiraXT,一个强大的…对其他最先进的SAT考试算法。在单线程模式下,它优于…MIRAXT提供了切削刃的性能解决在给定的时间内有更多的实例…2007的工业基准SAT考试竞争
  • 萨茨拉

  • 82篇参考文献[SW0681]
  • 构建每个实例算法组合SAT考试使用所谓的经验硬度模型…例如平均运行时,实例的百分比解决了的或在比赛中得分。优秀的…SATzilla在2007被独立证实。SAT考试竞争,我们的SATZILLA07求解者赢得了三…
  • 最大解算器

  • 20篇参考文献[ SW01990 ]
  • 布尔可满足性的优化对偶(英文)SAT考试),其中寻求变量赋值以满足…最具竞争力的精确算法解决最大-SAT考试. 在本文中,我们提出和调查…
  • 反驳

  • 8篇参考文献[SW08417]
  • 精通艺术SAT考试解决方案产生认证的“UNSAT”答案…ValAT CAN的实证评价解决 SAT考试现代尺度问题
  • 淘金者

  • 8篇参考文献[SW10844 ]
  • 整体研究平台(广义)SAT考试 解决. CSR报告1-2009年。报告系列计算机科学…