• DPT公司

  • 引用3篇文章[sw28225]
  • 工具包(DPT)是一个协作系统决策回答可满足性问题的程序。。。DPLL样式SAT解算器理论-具体的决策procedures.DPT以OCaml源格式提供。。。
  • 罗斯洛普

  • 参考11篇文章[sw10019]
  • 订单。因此理论完成后可能会产生决策程序有限。。。收敛且等价于输入理论. 完井也不仅仅是收敛的。。。
  • 棉结包

  • 引用3篇文章[sw27757]
  • 包装,以及设计决定理论设计需要。。。
  • 序言

  • 引用4篇文章[sw12125]
  • 理论简而言之)。这个理论用于决策法官在不完全信息的情况下。。。
  • 摩泽尔

  • 引用5篇文章[sw30493]
  • 包括一套灵活的决策几个理论逻辑的补充。。。
  • 算法628

  • 参考6篇文章[sw23778号]
  • 构造多项式理想理论和计算机代数(许多决策多项式理想的计算问题。。。
  • 集成电路

  • 引用了20篇文章[sw21618]
  • 取而代之的是;Yices速度更快,操控性更强理论,并具有其他几个优点。集成电路:集成。。。集成规范化器和求解器)是一种高效的决策一级碎片的程序。。。
  • H-先导

  • 参考6篇文章[sw23305]
  • 在基地里可以决定理论--H-PILoT提供决策可满足性测试程序。。。
  • PrSAT公司

  • 引用4篇文章[sw38096]
  • 基于现有的决策程序理论真正封闭的领域,这。。。
  • 自食其力

  • 在14篇文章中引用[sw07158]
  • IPSSIS:一个综合的多准则决策证券投资组合构建与选择的支持系统。。。现代投资组合原理理论投资组合之间的比较通常使用。。。未能体现决策制造者(DM),经历了不同的阶段。。。
  • FSMRDE公司

  • 引用8篇文章[sw22250]
  • 相对的决策基于熵的特征选择方法。粗集理论已经被证明。。。提出了一种新的相对论模型决策熵,它是香农的延伸。。。
  • RDL公司

  • 引用4篇文章[sw26677]
  • 允许轻松插入新的决策重写活动中的程序。第三,只有一点点。。。完全属于理论由可用的决策程序。。。
  • 德雷尔

  • 引用28篇文章[sw07157]
  • Dreal:一个求解非线性问题的SMT求解器理论在现实中我们描述了开源。。。dReal实现了$delta$-complete框架决策过程:它返回unsat或$delta。。。
  • 玫瑰

  • 引用9篇文章【sw14795】
  • 计算机。它实现了经典粗糙集理论以及基于变量的扩展。。。精密模型。它包括决策分类系统和知识发现规则。。。
  • 模糊器

  • 1条引用[sw38395]
  • 基于模糊最大化决策-制作:理论方法论和第一个实证证据,数学社会科学。。。
  • 锡亚德

  • 引用4篇文章[sw25997]
  • 单包装其他决策多准则和游戏等辅助工具理论模型。那些特征。。。
  • 菲特拉多夫

  • 参考11篇文章[sw33553]
  • FITradeoff方法使用有关决策制造商(DM)对选择和排名问题的偏好。。。MAVT(多属性值)中的加法模型理论)范围。这个方法使用的概念。。。
  • 心理

  • 引用5篇文章[sw28518]
  • 呼叫决策如sat模中使用的程序-理论解决方案。因此,我们举例说明。。。
  • 达萨克特

  • 1条引用[sw13729]
  • 达萨克特:a决策公理共识辅助软件理论. 有各种各样的尝试,解决方案。。。源软件名为DASACT(决定公理共识辅助软件理论)是为了帮助从业者。。。
  • 达到

  • 引用4篇文章[sw07733]
  • 理论,真正的根隔离,和量词消除。最后决策执行程序。。。