• 扣环

  • 引用90篇文章[sw07095]
  • 这项技术在可满足性检查(SAT)。与其他学习ASP解决方案不同,clasp。。。
  • 夸夫尔

  • 参考文献62篇[sw07278]
  • 量化布尔中的冲突与满足可满足性第八届国际原则会议论文集。。。量化布尔中的冲突驱动学习可满足性国际计算机会议论文集。。。
  • cvc3

  • 引用84篇文章[sw04886]
  • CVC3是一个自动定理证明程序可满足性模理论(SMT)问题。CVC3。。。
  • 奥思波尔

  • 引用了78篇文章[sw00659]
  • 三项递推关系中的系数满意的通过正交多项式。一旦这些。。。
  • CCalc公司

  • 引用75篇文章[SW099号文件]
  • 逻辑编程。计算上,CCalc使用了可满足性计划。(一个相关系统,来自亚利桑那州的Cplus2ASP。。。
  • 讽刺

  • 在38篇文章中引用[sw04648号]
  • 讽刺:一种新的增量可满足性发动机。我们介绍一个新的讽刺可满足性解决那个。。。建立在可满足性研究,包括两个新功能。。。这些对经典的补充的有效性可满足性解算器。。。
  • 提格拉

  • 在38篇文章中引用[sw02333]
  • 正则化参数与参数迭代令人满意的外环中的差异准则。。。论文的假设在哪里满意的...
  • 普罗夫里夫

  • 在38篇文章中引用[sw06558号]
  • 声称协议满足一些属性,那么这个属性实际上是满意的. 和安德烈亚斯。。。
  • Healpix公司

  • 引用49篇文章[sw08860]
  • 球体。我们展示了这些是如何明确的满意的通过HEALPix。。。
  • 沙塔拉

  • 引用48篇文章[sw06849]
  • 微积分并定期调用miniat进行测试可满足性这些条款。Satallax实现了。。。
  • 库贝

  • 27条引用[sw11381]
  • 定量化布尔公式系统可满足性. 决定可满足性一个量化的布尔公式。。。映射到决定可满足性一个QBF。在本文中。。。QBFs判定系统qbe可满足性. 从我们的演示开始。。。
  • 特里斯

  • 引用46篇文章[sw05197]
  • 显示有一个极限点令人满意的二阶必要KKT条件。当地人。。。
  • 兰根

  • 引用了45篇文章[sw14333]
  • 目标是构造随机网络满足所用参数的预设值。。。
  • 上将

  • 引用31篇文章[sw31664]
  • 然后rank提供最小秩解令人满意的规定的数据近似界。我们提议。。。尽管R-RIP不是满意的在这种情况下,海军上将是一个有竞争力的。。。
  • 伊皮亚诺

  • 引用了43篇文章[sw09623]
  • 证明了,然后伊皮亚诺被证明满足这个定理的要求。此外。。。
  • ROS3P公司

  • 引用42篇文章[sw00813]
  • 方程,附加阶条件必须是满意的. 虽然这些情况已经知道。。。
  • 全息函数

  • 引用42篇文章[sw06666号]
  • 一个给定函数的混合线性方程组满足. 多元完整函数之和与积分。。。
  • 萨姆雷

  • 引用41篇文章[sw04441]
  • 将现有框架组件扩展到满足新应用程序需求。。。
  • 普萨托

  • 引用了40篇文章[sw02635]
  • 并行命题/命题证明器可满足性(SAT)用于工作站网络。PSAT是基于。。。