• 彗星

  • 引用了70篇文章[sw03051]
  • 约束-基于 本地 搜索. 组合优化问题在我们的社会中无处不在。。。编程和地方的 搜索,使用限制条件描述和控制地方的 搜索,还有一个程序。。。建模和搜索组件约束-基于 地方的 搜索并描述了约束-基于 地方的... 问题,说明约束-基于 地方的 搜索处理这两种可满足性的方法。。。
  • 袋鼠

  • 引用3篇文章[sw13503]
  • 袋鼠:有效率的约束-基于 本地 搜索使用延迟传播的系统。在本文中。。。介绍袋鼠约束-基于 地方的 搜索系统。而现有的系统如彗星维持。。。
  • ConArg2公司

  • 引用4篇文章[sw22084]
  • 约束-基于系统和应用。语义所需的属性被编码到限制条件... 该语义的有效扩展。搜索对于问题的解决方案(如枚举扩展或检查。。。利用众所周知的技术地方的一致性,尝试分配的不同启发式。。。
  • ZDC公司

  • 1条引用[sw10499]
  • 约束-基于比微软的Excel解算器更有效。ZDC排班是基于... 开源计算机辅助约束一个名为ZDC的编程包,它将问题的表述(或建模。。。约束满意。ZDC配备了一套约束算法,包括扩展引导本地...搜索其效率和有效性已在广泛的应用中得到证明。。。
  • 曼萨特

  • 引用了29篇文章[sw00544]
  • ManySAT:一个并行SAT解算器。ManySAT,一个新的。。。
  • 数学软件

  • 引用5693篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 参考520篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 库卡

  • 引用了29篇文章[sw00756]
  • 我们描述了一个面向对象的约束解决工具包。。。
  • R

  • 引用了7603篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 普萨托

  • 引用了40篇文章[sw02635]
  • PSATO:一个分布式/并行命题可满足性证明器。。。
  • 旋转

  • 引用699篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。