• SAT4J

  • 68篇参考文献[SW0783]
  • 解决SAT,Max SAT,伪布尔,极小值不可满足的子集(MU)问题。在爪哇,承诺…
  • MUP

  • 15篇参考文献[SW11910]
  • 识别它的实际需要极小值不可满足的子集,指出了不可行性的原因…不可满足子公式不能保证极小性结果。本文介绍了一种实用的…
  • MNIST

  • 151篇参考文献[SW1289]
  • 例子。这是一个子集从NIST获得的更大的集合。数字有…真实世界数据支出的方法极小值对预处理和格式化的努力…
  • 基马

  • 3篇参考文献[SW08979]
  • 发现不一致的原因极小值不一致的子集模式/类型约束。因为每个约束保持…程序中的符号发生极小值 子集也告诉程序错误的可能来源…空间保持较小,因为极小值 子集限制可能的误差来源提前…
  • 莫塞尔

  • 5篇参考文献[SW3093]
  • 形式语义极小值 子集它的模块化设计及其在异构系统中的集成。
  • FPCIAS

  • 54篇参考文献[SW12218]
  • 解1正则化的一种算法最小化问题…“收缩”方法产生一个估计值子集X的组成部分可能…将决策变量x限制为此子集并在他们的电流固定他们的迹象…所得子空间问题,涉及最小化一个较小且光滑的二次函数…
  • CDD

  • 104篇参考文献[SW0114]
  • 二的闵可夫斯基和子集定义的…线性规划(LP)问题的最大化(或)减少一个关于多面体的线性函数…
  • 科米塔

  • 2篇参考文献[SW25789]
  • 相应的$T$-不变量基,表示极小值 子集可以操作的反应…
  • R-萨奇莫

  • 3篇参考文献[SW0620]
  • SATCHMO可用于生成极小值不可满足的子集一个不可满足的子句…在R SATCHMO中提出的建议适用于极小值模型生成过程。我们描述我们的改进…
  • 普利

  • 1篇参考文献[SW28 623 ]
  • 公理,那么它的理由是极小值 子集蕴含蕴涵的公理…命题角逻辑中的推论与发现极小值对应于使用…的理由的模型…
  • 托波

  • 1篇参考文献[SW18605]
  • Topo/bin CygWin中的二进制文件。相当地极小值 子集CygWin应该足够运行Topo…
  • 记忆卫星

  • 1篇参考文献[ SW28 539 ]
  • 找到一个踪迹,它输出一个极小值 子集内存模型和程序约束…
  • CMMUS

  • 1篇参考文献[SW0973]
  • 条款是否属于某些条款极小值不可满足的子集(MU)给定公式。而…
  • MXM

  • 4篇参考文献[SW15369]
  • 识别方法极小值统计等效和同等预测特征子集. 贝叶斯网络算法…
  • 涓涓细流

  • 0篇参考文献[SW223 23 ]
  • 全自动不可行路径检测极小值不可满足的子集. 可以使用静态分析技术…还集成计算全部极小值不可满足的子集(加缪)减少算法的数目…
  • XGVIS

  • 5篇参考文献[SW26079]
  • 最小化(c)用于诊断伪事实点配置的诊断,以及(d)限制MDS到子集
  • 靶标

  • 13篇参考文献[SW22415]
  • 药物设计,有必要减少这种错误预测。在这项研究中…数据集与正负平衡子集. 由此获得的新基准数据集…
  • 帕拉菲

  • 19篇参考文献[SW14789]
  • 因素的定位是唯一确定的。最小化残余误差,消除了需要…每个矩阵对应于一个双向子集数据。更一般地说…
  • GIS-EDB

  • 2篇参考文献[SW21107]
  • 地震。什么时候?最小化一个线性系统,整个场分裂为断开。子集几何上的…
  • 矩阵矩阵

  • 2篇参考文献[ SW17073]
  • 子座的计算,使得内存使用和处理时间都是最小化. 还有…