• OPBDP

  • 13篇参考文献[SW05036]
  • 变量、目标和约束条件 多项式的(C++)基于戴维斯-普特南的线性伪布尔枚举算法…优化,0-1变量,目标和约束条件 多项式的(C++)基于戴维斯-普特南的枚举算法…
  • 拉萨特

  • 6篇参考文献[SW15206]
  • RSAT:SMT求解器多项式的 约束条件关于实数。RASAT是一个SMT来解决…范畴,即结合的有界量化多项式的不等式。它结合MiSISAT 2.2和背景…分解。RasAT是基于区间的约束求解,类似于HySAT。拉萨特准备各种…
  • 实证

  • 3篇参考文献[SW28 191]
  • 由定义的半代数域多项式的 约束条件在q[x]是一个经典的算法…
  • 立方

  • 5篇参考文献[SW17366]
  • 可能的。为此,CCUBE约束微积分保证多项式的时间数据复杂度,而且…
  • 杰伯恩斯坦

  • 2篇参考文献[SW1948]
  • JBernstein:一个通用的有效性检验器多项式的 约束条件. 有效的和可扩展的非线性真实性验证。
  • 普德拉布

  • 18篇参考文献[SW04090]
  • 约束条件简化基本边界条件、悬挂节点和变化的实现多项式的程度…
  • CFLP

  • 5篇参考文献[SW1867 4]
  • 功能逻辑及涉及约束条件比如线性系统,多项式的微分方程和方程…
  • POS3POLY

  • 3篇参考文献[SW09847 ]
  • POS3-聚库,它转换多项式的正半定的正性约束条件,从而使用户…了解每种类型的参数化多项式的. POS3POLY能够处理三种类型…真实的和混合的。积极性多项式可以是全球性的,也可以只是…也允许定义有界实引理约束条件. 图书馆是用MATLAB编写的…
  • 玻片

  • 8篇参考文献[SW08499]
  • 编码宽范围的滑动序列约束条件包括CIDPATH本身。我们认为…多项式的时间我们的实验表明,使用幻灯片编码全球。约束条件
  • ATSE

  • 0篇参考文献[SW25243]
  • 基于数值程序的实例多项式的 约束解决。现有的符号执行方法…的测试用例生成算法多项式的提供了系统解决技术和区间验证。计算实解的算法多项式的 约束条件区间分析和符号执行…
  • 投影CAD

  • 7篇参考文献[SW0911]
  • 阶不变量,关于等式的不变量约束真值表不变量。还有…只有实现McCallum的描绘多项式和唯一的包提供订单不变…输出。[英格兰13b]描述了等式约束条件命令不仅提供改进的投影,而且…
  • BVSPIS

  • 2篇参考文献[SW000 096]
  • 内插计算软件包多项式的任意样条约束条件它们的形状和令人满意…
  • SBW

  • 8篇参考文献[SW21948]
  • 约束增加权重的方差?此外,加权方法运行在多项式的时间
  • EFSMT

  • 1篇参考文献[SW1948]
  • EFSMT求解器使用伯恩斯坦多项式求解非线性算法约束条件
  • 罗米普

  • 9篇参考文献[SW21158]
  • 依赖多项式的关于参数,是多项式被认为是同质的。这样的优化问题…不连续或离散系统约束条件这通常被定义为线性矩阵不等式…
  • 稀疏BSO

  • 9篇参考文献[ SW31772]
  • COMP奥普蒂姆:87- 117, 2017)多项式的优化问题。它允许大规模治疗…半定规划的BSOS层次(半定)约束条件固定大小)收敛到全球…
  • 聚合体

  • 1篇参考文献[SW11854 ]
  • 配件多项式任意程度的P(x)有或没有约束条件种类约束条件可指定:1)固定子集多项式的系数…
  • 索索普

  • 8篇参考文献[SW13407]
  • 平方和(SOS)的公式化与求解多项式的优化。本文简要地描述了…节包括工具箱安装的信息,公式化约束条件解决SOS优化和设置优化选项…
  • BBCPOP

  • 2篇参考文献[ SW31757 ]
  • 多项式的具有二进制、盒子和互补性的优化(最小化)问题(英国广播公司)约束条件. 鉴于。。。
  • 包装

  • 6篇参考文献[SW21178]
  • 上下界命题公式约束条件. 我们的实施是象征性的,而且…满足,加入,传递函数,加宽)多项式的在操作数的大小上。经验主义的。。。