• 盎司

  • 113篇参考文献[SW06999 ]
  • 约束商店它支持有限的特征约束条件并具有强大的编程原语…
  • 阿达格雷

  • 72篇参考文献[SW22202]
  • 常见重要的正则化函数及 约束条件. 我们对理论分析进行了实验研究。
  • Prolog语言

  • 67篇参考文献[SW0618]
  • 免费Prolog编译器约束有限求法由丹尼尔迪阿兹开发。GNU PROlog…Prolog还包括一个高效的约束有限求解器(FD)。这打开了逻辑逻辑…
  • 557篇参考文献[SW06916]
  • 包,无论是专有的和在公众(例如,掌握,佐藤)发现重要的…特别是布尔运算的一种特别有效的实现约束传播(BCP)和一种新的低开销…
  • B-PROLG

  • 17篇参考文献[ SW06949 ]
  • 事件处理的动作规则,有限 约束解决,数组和哈希表,声明循环…
  • 扫描图

  • 13篇参考文献[SW08697 ]
  • 图)〔1〕定义了一种新的计算方法进入约束程序设计:图形变量和约束条件
  • 壁虎

  • 57篇参考文献[SW0622]
  • 新程序设计约束条件分支策略和搜索引擎。新变量可以编程…Gecode有一套全面的特征:约束条件超过整数,布尔代数,集合和浮点…
  • 蜜蜂

  • 8篇参考文献[SW16989]
  • 编译有限 约束条件与蜜蜂坐在一起。我们现在的蜜蜂,编译器,使…编码有限 约束CNF问题。使用蜜蜂都简化了编码过程…求解硬有限元时非常有益 约束问题。ABEE实现是可用的…
  • BDDC

  • 27篇参考文献[SW07222]
  • 平衡的应用分解约束条件(BDDC)到一个具有许多子结构的情况…
  • PCBDDC

  • 23篇参考文献[SW16850]
  • PETSC的主要方法。平衡分解约束条件. BDDC预处理器的实现…
  • 24篇参考文献[SW08334 ]
  • 强制和提供算术,有限的并设置约束条件. 第二,锌是相对的…
  • SPGL1

  • 144篇参考文献[SW08365]
  • 那些复杂的人. 在每次迭代中,采用谱梯度投影法…具有显式一阶范数的平方问题约束. 只需要矩阵向量运算…
  • PROSTO-L

  • 7篇参考文献[SW02476]
  • 外部关系数据库和有限 约束条件. 类型概念涵盖用户定义的排序、子排序…OSF/Myf和有限域 约束求解者…
  • CC(FD)

  • 17篇参考文献[SW21237 ]
  • 说明性非确定性约束有限的逻辑语言基于CC框架…包括(非线性)算术约束条件使用近似的自然数和区间一致性…阻塞暗示,结合新约束操作如约束蕴涵与泛化。这些…
  • CLS-B

  • 7篇参考文献[SW0132]
  • 用术语描述约束 一致性验证约束传播。它更强大…比大多数约束系统,因为它允许包含其他变量的变量…
  • 立方

  • 5篇参考文献[SW17366]
  • 立方约束面向对象的数据库系统。约束条件提供灵活和统一的方式来表示…广泛应用.约束数据库最近出现了深入集成数据捕获…约束可拓演算约束 在幺半群理解,作为一个优化水平…面向查询。数据模型约束微积分是建立在约束时空…
  • 萨帕

  • 16篇参考文献[SW2068 3]
  • -独立的启发式向前链规划器,可以处理持续性行为,度量资源约束条件独立规划师具有度量和时间约束条件在第三国际计划中…
  • 八角形

  • 61篇参考文献[SW13702]
  • 八边形摘要图书馆是一个自由的图书馆,用来操纵特殊的多面体叫做…八进制对应于集合约束条件形式…题为八角形摘要. 这个图书馆是一个正在进行中的工作…
  • WSAT(OIP)

  • 25篇参考文献[SW047 8]
  • 线性整数的局部局部搜索方法约束条件这可以解决一个范围…
  • 背心

  • 26篇参考文献[SW01405]
  • 性能和可靠性约束条件. 利用嵌入式系统构建和剪裁嵌入式系统特定成分…