• clpfd公司

  • 引用8篇文章[sw06308]
  • 简洁地表达了约束的全部语义物化. 图书馆完全是用序言写的。。。
  • 大气值

  • 引用3篇文章[sw08964]
  • 基于约束的原始搜索策略物化. 大量的实验表明。。。
  • 萨尔萨

  • 引用了30篇文章[sw02661]
  • 约束编程被认为是一种有效的技术。。。
  • 吉祥物

  • 参考12篇文章[sw02959]
  • 本文介绍了几种软件/系统体系结构的设计方法。。。
  • 彗星

  • 引用了70篇文章[sw03051]
  • 基于约束的局部搜索。组合的普遍性。。。
  • PVS公司

  • 在602篇文章中引用[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 引用24篇文章[sw08334]
  • 锌造型语言的设计。锌。。。
  • 仆从

  • 引用47篇文章[sw10176]
  • 仆从是一个新的约束求解器,它是。。。
  • 龙息

  • 引用2篇文章[sw21246]
  • 龙息:一个基于约束编程的优化引擎。。。
  • 句法

  • 引用2篇文章[sw22069]
  • Haskell语法包。库提供了一个通用的。。。