• 557篇参考文献[SW06916]
  • 箔条:设计一种高效的SAT求解器。布尔可满足性可能是组合研究最多的…
  • 四分体

  • 352篇参考文献[SW12177]
  • 提供了结构和样本数据满足各种常见的(但并不总是真实的…
  • 沃克托

  • 202篇参考文献[SW04328 ]
  • 布尔搜索的局部搜索算法可满足性问题。这两种算法都适用于公式…对每个变量的值。如果赋值满足所有子句,算法终止,返回…然后重复,直到所有的子句都是满意的. WalkSAT和GSAT的方法不同。这将导致以前最少。满意的子句变得不满意,有一定的概率…
  • 高超声速

  • 316篇参考文献[SW04125]
  • 线性混合系统的条件满足时间要求。混合系统被指定…
  • GQTPAR

  • 300篇参考文献[SW0751]
  • 方法有一个极限点满足一阶和二阶必要条件…
  • 佐藤

  • 194篇参考文献[ SW044 551 ]
  • 萨托:命题的解决者可满足性戴维斯-普特南方法是主要的方法之一。实用方法可满足性(命题)命题逻辑问题。在过去的十年里…
  • 优化工具箱

  • 264篇参考文献[SW10828 ]
  • 最小化或最大化目标的参数令人满意的约束条件。工具箱包括线性求解器…
  • 达斯尔

  • 252篇参考文献[SW03174]
  • 给定初始值,它们必须满足G(t,y,yPrimy)=0。子程序解决了…
  • MACE4

  • 193篇参考文献[SW06905]
  • 应用地面等式重写。如果可满足性检测到,打印一个或多个模型…
  • 阿萨特

  • 160篇参考文献[SW02524]
  • 循环公式不成立满意的用M加上相应的子句…
  • 猛击

  • 148篇参考文献[SW03136]
  • 软件检查项目满足它使用的接口的关键行为属性…
  • 耶斯

  • 132篇参考文献[SW044 36]
  • 有效的SMT求解器可满足性任意公式包含未解释的函数符号与…
  • CVC4

  • 94篇参考文献[SW0985]
  • 高效开放源码自动定理证明器可满足性模理论(SMT)问题…证明有效性(或,双重地)可满足性)大量的一阶公式…
  • 格菲

  • 125篇参考文献[SW034 4]
  • 微分方程的计算程序满意的根据他们的产品。在GFALL中的每个命令…
  • 卡尔马

  • 101篇参考文献[SW03265]
  • 给定域。作业必须满足某些限制,以限制干扰…
  • CGL下降

  • 97篇参考文献[SW0813]
  • 提出了非线性共轭梯度格式。满足下降条件GTKDK…
  • 彗星

  • 69篇参考文献[ SW03051 ]
  • 书中还包括一些可满足性问题,说明了基于约束的局部能力。搜索方法应对两者可满足性并以统一的方式优化问题…
  • CFQSP

  • 60篇参考文献[SW04688]
  • 约束非线性(MIMPAX)优化问题,生成迭代令人满意的所有不等式约束。CFQP…CFQP-ALL生成的连续迭代满足这些制约因素。非线性等式约束转化为…不等式约束(待定)满意的通过所有迭代)和目标函数的最大值…