• 烟雾

  • 第238条引用[sw04631]
  • 回答 设置 编程基于正常逻辑稳定模型语义的ASP实现程序...限制条件作为一个逻辑问题程序以至于回答 (稳定模型。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • 是个骗局回答 设置求解器(扩展)约束正常逻辑程序. 它结合了。。。水平建模能力回答 设置 编程(ASP)与约束解决问题。限制条件过非线性。。。
  • 扣环

  • 引用90篇文章[sw07095]
  • 高级建模能力回答 设置 编程(ASP)采用最先进的技术。。。从布尔区域约束解决问题。主要的clasp算法依赖于冲突驱动。。。卡扣是为回答 设置基于冲突驱动的nogood学习解决问题。。。
  • 阳光明媚

  • 参考11篇文章[sw31800]
  • 解决给定问题的时间表约束满意度问题(CSP)。受到表演的激励。。。他们去的领域回答 设置 编程约束逻辑编程...
  • 白杨

  • 参考11篇文章[sw27492]
  • aspeed:求解器调度通过回答 设置 编程. 虽然是布尔型的约束科技已经取得了巨大的进步。。。建模和求解能力回答 设置 编程(ASP)自动确定更精细,即。。。
  • 喘息

  • 参考11篇文章[sw07096]
  • 回答 . 该实现使用约束逻辑编程在有限域上。。。
  • ezcsp公司

  • 引用8篇文章[sw27479]
  • 允许计算扩展的引擎回答 ASP的程序,如[bal09a,bal09b。。。ASP与约束 编程(CP)。扩展的回答 设置ASP的程序... 解决方案约束满足问题(CSP)由这样的定义回答...
  • 哈维

  • 参考第4条[sw21395]
  • 随机试验回答 设置 编程(ASP)允许合并限制条件引导。。。纸张允许随机测试回答 设置 程序其中两个测试输入生成。。。简单的随机测试通过添加更多的ASP限制条件在这个过程中。。。
  • 海狮

  • 在10篇文章中引用[sw30393]
  • 编写、评估、调试和测试回答-设置 程序. 为此,新的支持技术已经。。。要求回答-设置语义和满足限制条件具有实际适用性。在这个。。。方法和方法项目回答-设置 程序在其背景下的发展。。。
  • LP2正常

  • 引用3篇文章[sw25505]
  • 扩展逻辑规范化工具程序.回答 设置 编程(ASP)具有丰富的基于规则的。。。条件和限制条件. 规范化意味着用相同的功能替换这些扩展的规则正常的。。。作为地面逻辑的滤波器程序由地滚球生产,比如外国佬。。。回答 使用没有直接支持基数的后端解算器限制条件或者伪。。。
  • TCHR

  • 参考第4条[sw01345]
  • 表逻辑编程. 这个框架很容易用新的特定应用程序实例化约束域。各种各样的。。。新型通用压实技术回答 ...
  • 梅内科

  • 1条引用[sw30406]
  • 满足可生产性的网络限制条件. 此外,它还可以计算并集和交集。。。原则回答 设置 编程表达可生产性限制条件为了设置代谢物。。。
  • S3

  • 参考7篇文章【sw19495】
  • 基于web漏洞分析程序它对字符串输入起作用,我们现在。。。解算器为约束足够表达的语言。。。符号表示使设置由正则表达式定义。。。众所周知的设置实际的基准测试,证明了它的健壮性(更明确答案...
  • XASP公司

  • 引用5篇文章[sw13876]
  • XASP摘要:回答 设置 编程正在使用XSB:。。XASP包提供了各种机制。。。允许XSB紧密连接程序到SModels[14]稳定模型发生器。主要。。。由XSB增量断言或删除程序. 此存储区中的子句可以使。。。基数和重量约束除了默认的否定之外,SModels支持的语法。什么时候。。。
  • insql公司

  • 1条引用[sw02055]
  • 虚拟机构查询语言回答 设置 编程机构提供了一种机制来捕获。。。强大功能的数量,包括时间限制条件在可以使用的事件和管道上。。。
  • Lpopt公司

  • 1条引用[sw21595]
  • 回答 设置 编程(ASP)解决方案依赖于程序叫一个地滚球来改变。。。地面程序包含变量变为自由变量,命题程序. 接地的大小取决于。。。lpopt,一个分解大逻辑的工具编程把规则变成更简单的小规则。。。用户编写高效直观的ASP程序,否则通常需要大量的人手。。。