• SMCHR公司

  • 引用2篇文章[sw09322]
  • 可满足性 约束 搬运 规则.约束 搬运 规则(CHRs)是一个高级规则-基于。。。约束解决方案。CHR操纵一个表示平面连接的全局存储限制条件. 默认情况下。。。本文我们介绍一下可满足性 约束 搬运 规则(SMCHR):紧密结合。。。命题结构。SMCHR本质上是可满足性 理论(SMT)求解器,理论。。。
  • 数学软件

  • 在6355篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 生物PEPA

  • 参考105篇文章[sw01361]
  • 在这项工作中,我们提出了生物PEPA,一个。。。
  • 吸血鬼

  • 引用了258篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • PVS公司

  • 引用629篇文章[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 烟雾

  • 引用239篇文章[sw04631]
  • Smodels系统是一个答案集编程。。。
  • 伽马

  • 引用866篇文章[sw04978号]
  • 通用代数建模系统(GAMS)是专门针对。。。
  • 引用4篇文章[sw06507]
  • 镉:ACD术语重写的实现。镉。。。
  • 引用586篇文章[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔型可满足性...
  • OEIS

  • 引用4221篇文章[sw07248]
  • 整数序列的在线百科全书。这个。。。