• 变形杆菌属

  • 11篇参考文献[SW10080]
  • 近年来,投资组合的解决方法SAT考试问题和CSP已经变得越来越普遍。那里…不同数量编码代表CSPsSAT考试实例。在本文中,我们利用…问题实例转化为SAT考试选择合适的编码和相应的SAT考试求解器。我们的实验…涉及四个CSP求解器,三SAT考试 编码和六SAT考试求解器,评估…
  • MUP

  • 15篇参考文献[SW11910]
  • 在建立A的不可满足性之后SAT考试实例编码一个典型的设计任务,在那里…
  • 阿祖卡

  • 5篇参考文献[SW10083]
  • 使用紧凑订单的求解器编码. 本文描述了一个SAT考试基于ASPUCR的CSP求解器。Azucar…通过求解有限CSP编码它变成了SAT考试实例使用紧凑型…排序编码然后解决编码的 SAT考试实例与外部SAT考试求解者…排序编码. AZUCAR被开发为获奖的新版本SAT考试基于…
  • 25篇参考文献[SW0978]
  • SAT考试基于约束的求解器。约束满足问题(CSP)编码的一个布尔CNF公式…
  • SATLIB基准套件

  • 3篇参考文献[SW11916]
  • 均匀随机-3SAT考试通过以下方式获得的测试集编码来自随机实例分布的实例SAT考试-编码的组合问题,如图着色…个人SAT考试-编码的来自不同领域的实例。大多数来自基准的实例…搜索算法SAT考试. 对于SAT考试-编码的问题,硬度的例子…
  • 金龟子

  • 3篇参考文献[SW07397 ]
  • 这是开发的原型工具SAT考试基于系统。它提供了丰富的约束条件…约束,它们都是编码的进入之内SAT考试无需开发专用编码器.SAT考试求解器然后用于寻找解决方案…
  • 快速算法

  • 4篇参考文献[SW19192]
  • 使用该算法的可扩展实现SAT考试 编码并提供了实验评价。
  • 麦沙特

  • 5篇参考文献[SW29 62]
  • MESAT:多重编码CSP到SAT考试. 求解约束满足问题的一种方法…约简到命题可满足性问题(英文)SAT考试一些编码(例如,直接,日志,支持,订单…线性CSP问题SAT考试使用几个著名实例编码和它们的组合…
  • 转炉

  • 2篇参考文献[SW1739]
  • 设计用于生产的TANALG系统SAT考试 编码对于离散函数,编写为程序…这样的程序SAT考试是基于命题的编码形式化计算模型的方法…使用TANALG系统制作SAT考试 编码对于一些密码函数…
  • Picat坐

  • 2篇参考文献[SW21859]
  • 权力SAT考试解算器SAT考试编译器必须编码域变量和约束进入…公式。尽管有许多建议SAT考试 编码很少有工作SAT考试编译器。本文…PICAT系统。Picat -SAT考试使用符号和幅度日志编码对于域变量…
  • 蜜蜂

  • 8篇参考文献[SW16989]
  • SAT考试和蜜蜂在一起。我们介绍了Bee,它是一个编译器。编码有限域约束…各种可能的CNF编码. 通常情况下越好编码约束简化后进行选择。PROlog与A直接集成SAT考试通过合适的Prolog接口求解。我们证明…
  • 卫星的

  • 1篇参考文献[ SW31322]
  • 特别旨在改进SAT考试 编码由网表翻译(组合布尔电路)引起的。三个产业类别SAT考试2005竞争。独立的迷你裙…
  • 数学检查

  • 6篇参考文献[SW1362]
  • 空间SAT考试解算器,通过提供学习子句编码理论特定引理…此外,组合可以使效率更高。编码问题多于纯布尔表示…直到现在他们都失败了。用我们的SAT考试+ CAS系统,MathCheck,我们扩展这些…
  • NPSOVER

  • 1篇参考文献[SW13580]
  • 伪布尔(PB)求解器NPSOVER编码铅锡SAT考试并解决了优化实例。翻译PB到SAT考试基于不同的投资组合编码,基于数字…
  • 岩心

  • 3篇参考文献[SW28 116]
  • 核心},我们自动编码所有需要的属性SAT考试-和SMT公式迭代计算…结果评价和比较两者编码方法。。。
  • 布洛克尔

  • 26篇参考文献[ SW0958]
  • 代表。然而,可翻译的QBF编码一般来说不是唯一的…消除(BCE),一种成功应用的技术SAT考试. 量化阻塞子句消除(QBCE)允许…
  • 皮亚特

  • 3篇参考文献[SW2549]
  • SAT考试Oracle还集成了多个基数约束编码都是为了简化…
  • 猞猁

  • 7篇参考文献[SW1363]
  • 求解器在SAT考试文学和背景下的DPLL…解决方案和能量约束编码解决方案必须满足的定量要求。我们展示…与标准相比,达到SAT考试方法,达到30X内存使用量减少和UTO…
  • 马克斯普雷

  • 1篇参考文献[SW21952]
  • 重构,基数约束编码和一个紧密集成的APISAT考试基于Max SAT求解器…
  • 歪斜的

  • 11篇参考文献[SW27 492 ]
  • 在2011可满足性测试中令人印象深刻的表现SAT考试竞争。受此启发,我们利用…准则优化问题并提供相应的ASP编码. 结果编码很容易定制…