• 保鲜膜

  • 在106篇文章中引用[sw09893]
  • 单片系统。这样可以提供更多控制在接地和解决过程中…因此现在支持并行-和析取解决问题。注意!外国佬的语言。。。
  • TCAS系统

  • 引用5篇文章[sw21413]
  • 反碰撞理论受约束的空域。这个验证步骤目前是用…传播和线性规划来解决条件析取有界整数上的约束系统。。。
  • 恰当的

  • 引用3篇文章[sw29303]
  • 搜索树可视化:APT工具。这个控制执行约束的一部分…调用,其分支表示连接和析取。此树表示遍历的搜索空间。。。
  • 欧拉图

  • 1条引用[sw15821]
  • 鼠标动态布局控制我们证明了可满足性问题…连接演算(RCC-8),半径约束和析取描述了欧拉图。。。
  • 男爵

  • 引用365篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 超小卫星

  • 引用584篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • R

  • 在10253篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。
  • 鼻涕

  • 引用556篇文章[sw02300]
  • SNOPT:一个求解大规模约束问题的SQP算法。。。
  • 克莱尔

  • 引用了35篇文章[sw02583]
  • 克莱尔:结合集合、搜索和规则来更好地。。。