• 参考文献561篇[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔型可满足性可能是研究最多的组合。。。
  • 四分体

  • 引用文献362篇[sw12177]
  • 提供结构和样本数据满足各种常见的(但并不总是真的。。。
  • Walksat公司

  • 在204篇文章中引用[sw04328]
  • 求解布尔函数的局部搜索算法可满足性问题。两种算法都适用于公式。。。每个变量的值。如果任务满足所有子句,算法终止,返回。。。然后重复,直到所有的从句都满意的. WalkSAT和GSAT的方法不同。。。这将导致以前最少的满意的条款变得不满意,有一些可能性。。。
  • 高超声速

  • 引用第320条[sw04125]
  • 线性混合系统的条件满足暂时的要求。混合动力系统被指定。。。
  • GQTPAR公司

  • 在303篇文章中引用[sw07451]
  • 方法有一个极限点满足一阶和二阶必要条件。。。
  • 优化工具箱

  • 引用274篇文章[sw10828]
  • 使目标最小化或最大化的参数令人满意的限制。工具箱包括线性求解器。。。
  • 佐藤

  • 引用195篇文章[sw04451]
  • 佐藤:命题求解器可满足性:戴维斯-普特南方法是主要的。。。实用方法可满足性命题逻辑问题。在过去的十年里。。。
  • DASSL公司

  • 引用了253篇文章[sw03174]
  • 给定初始值,它们必须满足G(T,Y,YPRIME)=0.)。子程序求解。。。
  • 肉豆蔻4

  • 引用了197篇文章[SW905号]
  • 应用了基本方程重写。如果可满足性检测到,将打印一个或多个模型。。。
  • 阿萨德

  • 在168篇文章中引用[sw02524]
  • 谁的循环公式不是满意的加上相应的从句。。。
  • 猛击

  • 引用了150篇文章[sw03136]
  • 检查软件的项目满足它使用的接口的关键行为属性。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 正式的证明语言被设计成满足相当矛盾的要求,都是'声明性的。。。
  • CVC4

  • 引用98篇文章[sw09485]
  • 高效的开源自动定理证明器可满足性模理论(SMT)问题。。。证明有效性(或者,双重地可满足性)一阶公式的一个大数。。。
  • 依斯

  • 参考文献136篇[sw04436]
  • 高效的SMT求解器决定可满足性含有任意符号的公式。。。
  • 绿色荧光粉

  • 引用127篇文章[sw00344]
  • 计算微分方程的过程满意的他们的产品。每一个指挥官。。。
  • 卡尔玛

  • 引用104篇文章[sw03235]
  • 给定域。任务必须满足一定的限制以限制干扰。。。
  • CG_下降

  • 引用100篇文章[sw04813]
  • 提出了非线性共轭梯度格式满足下降条件gTkdk。。。
  • 彗星

  • 引用了70篇文章[sw03051]
  • 书中还包括一些可满足性问题,说明了基于约束的局部。。。搜索方法来处理这两个问题可满足性以统一的方式解决优化问题。。。
  • CFSQP公司

  • 引用了60篇文章[sw04658]
  • 约束非线性(Minimax)优化问题,生成迭代令人满意的所有不等式约束。CFSQP。。。CFSQP all生成的连续迭代满足这些限制。非线性等式约束转化为。。。不平等约束满意的所有迭代)和目标函数的最大值。。。