• 伊兰

  • 参考文献108篇[sw02179]
  • 证明者设计定理,逻辑 编程语言,限制条件解决方案和决策程序,并提供。。。定理证明器的设计,逻辑 编程语言,限制条件解决方案和决策程序,并提供。。。研究他们的组合。ELAN从功能编程抽象数据类型的概念。。。已知的重写范式提供了符合逻辑的推理系统的框架。。。
  • 烟雾

  • 引用238篇文章[sw04631]
  • 编码限制条件作为一个问题逻辑 程序所以答案是。。。
  • 序言

  • 引用68篇文章[sw06518]
  • 丹尼尔·迪亚兹。GNU Prolog接受Prolog+约束 程序并生成本机二进制文件(就像gcc那样。。。有效率的约束有限域上的求解器(FD)。这就打开了约束逻辑 编程给用户。。。结合了约束 编程声明性逻辑 编程...
  • 精灵

  • 引用了43篇文章[sw21361]
  • 元语言。精灵是一个约束 逻辑 编程基于LF的语言合乎逻辑的框架。。。
  • 萨尔萨

  • 引用了30篇文章[sw02661]
  • 约束 编程被认为是解决组合优化问题的一种有效方法。然而。。。局部搜索,生成混合算法限制条件. 这样的组合缺乏一种语言来支持优雅的。。。保留原始声明性约束 逻辑 编程. 我们提议一种语言,萨尔萨语,专注。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • 答案集求解器(扩展)约束正常的逻辑 程序. 它结合了高级建模。。。答案集容量编程(ASP)与约束解决问题。限制条件在非线性有限整数上。。。用于逻辑 程序. primary Clinconcon算法采用了最先进的技术。。。
  • ARMC公司

  • 在26篇文章中引用[sw04949]
  • 特点在于它的应用方式符合逻辑的处理抽象的推理。。。约束-基于编程语言可以导致一个优雅和简洁的实现一个实用的。。。使用Prolog系统与约束 逻辑 编程作为实现平台的扩展。。。
  • 再见

  • 引用47篇文章[sw12088]
  • 通用型编程支持的语言逻辑,约束,功能性、高阶和面向对象编程...
  • cc(FD)

  • 17条引用[sw21237]
  • [33]框架的扩展约束 逻辑 编程(CLP)计划[21]。约束解算器。。。
  • 阿特根

  • 参考11篇文章[sw07275号]
  • 自动测试数据生成约束 逻辑 编程象征性的执行。。。基于约束 逻辑 编程以及象征性的处决。复习之后。。。符号执行和使用约束 逻辑 编程,然后讨论。。。
  • 赫利俄斯

  • 参考11篇文章[sw01440]
  • 语句被编译成牛顿,a约束 逻辑 编程语言运用约束间隔和满足。。。
  • 喘息

  • 参考11篇文章[sw07096]
  • 从非地面版本的程序. 接地是在计算过程中懒散地执行的。。。实现使用约束 逻辑 编程在有限域上。。。
  • CS序言

  • 参考7篇文章[sw00171]
  • 基于广义统一的约束解算器约束 逻辑 编程(CLP)是标准的一个有希望的扩展。。。序言。在这篇文章中约束 逻辑 编程语言约束解算器PROLOG(CS-PROLOG。。。延迟机制逻辑 编程讨论语言。CS-PROLOG的功能。。。
  • CLPGUI公司

  • 引用5篇文章[sw14834]
  • 通用图形用户界面约束 逻辑 编程. CLPGUI是一个通用的图形用户界面。。。可视化和控制约束 逻辑 程序. CLPGUI的设计。。。这是通用的w.r.t约束 逻辑 编程系统和可视化工具,是解决。。。基于CLP中的注释程序. 武断的限制条件目标可以逐步发布。。。
  • TCHR

  • 引用4篇文章[sw01345]
  • 表格CLP框架。表格约束 逻辑 程序设计是一个强大的执行机制。。。具有约束 逻辑 编程不用担心不动点计算。各种各样的应用,例如在野外。。。表的高级框架约束 逻辑 编程. 它以轻量化的方式集成。。。高级语言约束求解器,带表逻辑 编程. 框架很容易实例化。。。
  • CLPS-B公司

  • 参考7篇文章[sw00132]
  • 使用约束 逻辑 编程带套。使用这种方法。。。CLPS-B的描述如下约束域、一致性验证和约束传播。。。
  • 黄蜂

  • 引用了37篇文章[sw09565]
  • 约束学习。本文介绍了一个处理析取的ASP求解器WASP逻辑 程序在。。。应付ASP程序. 其中包括重启,冲突驱动约束学习和回跳。而且。。。
  • CLP(柔性)

  • 参考6篇文章[sw28534]
  • 弹性):约束 逻辑 编程应用于XML处理。在本文中,我们提出了一个实现。。。约束求解模块,CLP(Flex),用于处理术语等式理论中的统一。。。