• 塞萨尔

  • 引用156篇文章[sw08510]
  • 高级语言的灵感来自顾客服务提供商一套公式和规范。。。
  • 卡斯帕

  • 参考文献95篇[sw06559]
  • 简单,抽象的语言,并产生一个顾客服务提供商相同协议的描述,适用于检查。。。
  • 马戏团

  • 参考第87条[sw21828]
  • 精致;它是命令的统一顾客服务提供商,Z和精化微积分。我们描述。。。
  • 巧克力

  • 参考61篇文章[sw06254]
  • 约束满足问题的java库(顾客服务提供商)和约束编程(CP)。它是建造的。。。
  • FDR2型

  • 参考58篇文章[sw11466号]
  • 建立模型的属性顾客服务提供商. FDR2的未授权版本可用。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • 单片答案集解算器Clingo和顾客服务提供商解算器Gecode。Clingcon是一个答案。。。驱动学习和理论传播顾客服务提供商解算器。。。
  • 引用25篇文章[sw09758]
  • 基于约束求解器。约束满足问题(顾客服务提供商)被编码为布尔CNF公式。。。求解约束优化问题(COP)和Max-顾客服务提供商. 糖是一个获奖的解决方案。。。国际上的全球限制类别顾客服务提供商解算器比赛。。。2008年四大国际赛事-顾客服务提供商解算器比赛。看看糖的结果。。。
  • CUTGEN1公司

  • 引用41篇文章[sw14833]
  • 标准一维下料问题(1D-顾客服务提供商)已开发。问题是确定的。。。
  • 查找器

  • 引用了40篇文章[sw06376]
  • 域枚举器。这是一个有限域顾客服务提供商解算器,相当局限于。。。
  • csp2B公司

  • 引用21篇文章[SW073号]
  • csp2B:一种实用的组合方法顾客服务提供商本文介绍了csp2B工具。。。它提供了一种组合的方法顾客服务提供商-类似于标准B规范的描述。符号。。。顾客服务提供商提供了一种方便的方法来描述操作的顺序。。。工具的功能是转换顾客服务提供商-像规范成标准的机器可读。。。
  • FDR3型

  • 引用21篇文章[sw12387号]
  • FDR3-一个现代的优化检查器顾客服务提供商. FDR3是完全重写。。。顾客服务提供商优化检查器FDR2,包含了大量的增强功能。在本文中我们描述。。。用于构造其内部表示形式顾客服务提供商处理此算法比。。。能够编译一个大类顾客服务提供商处理更有效的内部表示。。。
  • CSP校准仪

  • 引用15篇文章[sw11465号]
  • 顾客服务提供商-证明器是一个交互式定理证明器,致力于过程代数中的精化证明。。。顾客服务提供商. 它专门针对无穷大系统的证明,其中也可能涉及到无穷大系统。。。决定论。因此,顾客服务提供商-Prover目前专注于稳定失效模型。。。潜在的指称语义顾客服务提供商. 从语义上讲,顾客服务提供商-Prover提供了两种经典的指称语义学方法。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • Prentice Hall(1989;Zbl 0683.68008)]和顾客服务提供商[C.A.R.Hoare,通信顺序过程。恩格尔伍德。。。
  • 阳光明媚

  • 参考11篇文章[sw31800]
  • 求解给定约束满足问题(顾客服务提供商). 受SUNNY表演的激励。。。接近,我们开发了sunny-顾客服务提供商SUNNY是一个有效的算法。。。求解给定的命令顾客服务提供商. 对小型锌模型的详尽基准进行了实证检验。。。表现出阳光的实际表现-顾客服务提供商符合预测。这是令人鼓舞的。。。
  • CCSP公司

  • 在14篇文章中引用[sw00111]
  • 基于Hoare的分布式执行环境顾客服务提供商允许执行和评估。。。中嵌入的断言顾客服务提供商程序。。。
  • 变形杆菌

  • 在10篇文章中引用[sw10080]
  • 利用SAT和顾客服务提供商解决提出一个新的层次投资组合。。。接近顾客服务提供商解决问题,我们称之为普罗泰斯,这不是纯粹依靠。。。顾客服务提供商解决方案。相反,它可能会决定最好对顾客服务提供商问题。。。普罗泰斯的例子涉及四个顾客服务提供商解算器,三个SAT编码,六个SAT解算器。。。
  • 阿苏卡尔

  • 引用5篇文章[sw10083]
  • Azucar:基于SAT的顾客服务提供商使用紧凑顺序编码的求解器。本文描述了。。。基于顾客服务提供商解决方案阿苏卡尔。Azucar求解有限顾客服务提供商把它编码成。。。获奖SAT版本顾客服务提供商解糖剂。通过一些实验,我们证实了。。。编码和解决非常大的领域大小顾客服务提供商不能编码的糖实例。。。
  • 传感器DCSP

  • 参考7篇文章[sw30992]
  • 传感器网络与分布式顾客服务提供商:沟通、计算和复杂性。我们介绍传感器DCSP,一个自然分布的。。。为了研究分布式系统的性能顾客服务提供商(DisCSP)算法在一个真正的分布式环境中。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • 几个过程代数的算子(Ccs,顾客服务提供商第二,与。。。