• 卡尔卡

  • 5篇参考文献[SW13098]
  • 关于布尔组合-线性的 算术约束真实在本文中…布尔组合的可满足性求解-线性的约束是凸的。我们的方法适用于…
  • 羊的

  • 11篇参考文献[SW11947]
  • 处理过真实它提供了可靠的处理算法。-线性的约束条件。特别地。。。考虑到。它是基于区间的算术仿射算术. 主要特点…
  • ISAT3

  • 1篇参考文献[SW31001]
  • 真实和整数值变量。这些约束可能包含线性的-线性的 算术
  • 多摊铺机

  • 3篇参考文献[SW0871]
  • 规范可以包含区间之间的夹杂。算术表达。第二,积分算子的经典分析…积分界限可以是任意表达式。真实变量。支持我们表达能力的要求…基于多项式的自动逼近-线性的 真实真实-区间函数定义…
  • XSAT

  • 1篇参考文献[SW26290]
  • 浮点算术是应用SMT技术的一个主要障碍真实世界浮动…在解决复杂问题时,-线性的浮点约束。本文提出…支持浮点的求解器算术. 从SMT竞争的34个有代表性的基准评估…
  • 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • CSDP

  • 189篇参考文献[SW0169]
  • CSDP,半定规划的C文库。
  • 针织品

  • 161篇参考文献[SW0490]
  • KNITROO是求解非线性优化问题的一种解法。IT
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 抱怨

  • 359篇参考文献[SW0610]
  • 由专家制作,用于多种品种…