• 卡斯珀

  • 95篇参考文献[SW06569]
  • 简单、抽象的语言,并产生一个CSP描述相同的协议,适用于检查…
  • 马戏团

  • 87篇参考文献[SW21828 ]
  • 求精,是命令的统一CSPZ,以及精化演算。我们描述…
  • 乔可

  • 59篇参考文献[SW06254]
  • 约束满足问题的Java库CSP)和约束规划(CP)。它建起来了…
  • FDR2

  • 58篇参考文献[SW11466 ]
  • 建立模型中的属性CSP. 无授权版本的FDR2是可用的…
  • 克林贡

  • 33篇参考文献[SW09892]
  • 单片答案集solver Clingo和CSPsolver Gecode。Clingcon是个答案…驱动学习与理论传播CSP求解者…
  • 25篇参考文献[SW0978]
  • 基于约束求解器。约束满足问题CSP)被编码为布尔CNF公式…求解约束优化问题(COP)和马克斯CSP. 糖是一个屡获殊荣的解决者…国际上的全局约束范畴CSP解决方案竞赛…四个类别在2008国际最大CSP求解竞争。看到糖的结果…
  • 取景器

  • 40篇参考文献[SW06366]
  • 域枚举器。这是一个有限域。CSP求解者,在什么方面相当有限…
  • CSP2B

  • 21篇参考文献[SW07703]
  • CSP2B:一种实用的组合方法CSP本文介绍了工具CSP2B…它提供了一种组合手段CSP类似标准B规范的描述。符号…CSP提供了一种描述操作顺序的简便方法。工具的功能是转换CSP-类似规格的标准机器可读…
  • FDR3

  • 20篇参考文献[SW1287]
  • FDR3-一种现代细化检验器CSP. FDR3是一个完整的重写…CSP细化检查器FDR2,结合了大量的增强。在本文中,我们描述…用于构造其内部表示CSP这种算法比…更有效。能够编译一大类CSP过程更有效的内部表示…
  • CSP证明器

  • 15篇参考文献[SW11465 ]
  • CSP-证明器是一个交互式定理证明器,致力于细化过程代数中的证明。CSP. 它专门针对无穷状态系统的证明,它也可能涉及无限…决定论。因为这个原因,CSP证明者目前关注的是稳定失效模型…潜在指称语义学CSP. 语义上,CSP-证明者提供了两种经典的指称语义方法。
  • 科斯卡尔

  • 26篇参考文献[SW13076]
  • 普伦蒂斯霍尔(1989;ZBL 683.68008)]CSP〔托尼·霍尔〕通信顺序过程。恩格尔伍德…
  • 变形杆菌属

  • 11篇参考文献[SW10080]
  • 在SAT和BIT两方面取得进展CSP提出了一种新的基于层次结构的投资组合模型。接近CSP解决,我们称之为Proteus,不纯粹依靠…CSP求解器。相反,它可能会决定最好编码一个CSP问题…Proteus涉及四例CSP解算器,三个SAT编码,和六个SAT求解器…
  • 阳光充足

  • 11篇参考文献[SW31800 ]
  • 一个给定约束满足问题的求解(英文)CSP由阳光达到的性能激励…方法,我们发展阳光CSP一个有效的投资组合解决方案,利用了潜在的阳光算法…顺序求解CSP. 对穷举模型的实证检验进行了实证检验。显示阳光的实际表现CSP符合预测。这是令人鼓舞的…
  • CCSP

  • 14篇参考文献[SW01111]
  • 基于HORAE的分布式执行环境CSP允许执行和评估…内嵌的断言CSP程序
  • 阿祖卡

  • 5篇参考文献[SW10083]
  • Azucar:基于SAT的CSP求解器使用紧凑的顺序编码。本文描述了…基于CSP阿祖卡求解器阿祖卡解有限CSP把它编码成…一个获奖的基于SAT的版本CSP解糖。通过一些实验,我们证实…编码和解决非常大的域大小CSP糖不能编码的实例…
  • 传感传感器

  • 7篇参考文献[SW3092]
  • 传感器网络与分布式CSP通信、计算和复杂性。我们引入SyrordCSP,一个自然分布的…研究分布式性能的顺序CSP(DISSP)算法在一个真正的分布式设置…
  • 开放式

  • 10篇参考文献[SW07702]
  • 几个过程代数的算子(CCS)CSP,Lotos,E-Lotos,μCRL)。其次,连同…