• 拉布里

  • 18篇参考文献[SW09334 ]
  • 粗糙集布尔 推理(RSBR)分别用于在脑膜炎中挖掘IF规则。
  • 西塞特

  • 15篇参考文献[SW11407]
  • 求解器原因关于布尔结构。我们评估我们的工具的效率…
  • 卡尔卡

  • 5篇参考文献[SW13098]
  • 约束条件。某些形式化验证任务需要推理关于布尔非线性算术约束的组合…凸约束是由布尔 推理我们提供了一个生成保守近似的过程。
  • 奎比

  • 27篇参考文献[SW11381]
  • 量化布尔公式(QBF)是人工智能中的一个重要研究课题。许多推理任务。。。
  • RSAT

  • 21篇参考文献[SW13117]
  • RSAT是一个完整的布尔具有穷举搜索接口的满足性求解器等应用程序…RSAT是由加州大学洛杉矶分校自动化开发的推理群组
  • Qube ++

  • 26篇参考文献[SW07666 ]
  • 布尔公式(QBFS)。就我们所知,Qube ++是第一个QBF。推理
  • 稳定的

  • 2篇参考文献[SW11913]
  • 硬验证问题的求解器布尔 推理用计算机代数。本文提出…
  • 埃索利德

  • 11篇参考文献[SW15824]
  • 弯曲固体合理的时间量。ESOLID执行准确布尔使用精确表示的操作…
  • 傻瓜

  • 3篇参考文献[SW1487]
  • TPTP支持推理关于操作程序的属性布尔价值观需要定理…
  • HITAG2

  • 9篇参考文献[SW14133]
  • 从两层的构建谈起布尔在HITAG2中的功能。然后我们研究一些…使用混合逻辑方法推理通过计算机计算,得到了精确的数值。
  • 墨水瓶

  • 5篇参考文献[SW23 48]
  • InKreSAT:情态推理通过对SAT. InKreSAT的增量约简是模态的证明。一个给定的模态可满足性问题布尔可满足性问题,然后用…
  • 4篇参考文献[SW11992 ]
  • GuuGrBric本体逻辑求解器,一个通用的推理机这就决定了模态的可满足性。支持TBox将军并使之内化布尔Abx.一般性的水平是…用最酷的艺术推理者
  • 元普林

  • 4篇参考文献[SW1252]
  • 分析事件树,因为这些树表示布尔这些概念的功能…特别是在专家系统应用程序中推理维护和多故障诊断。应用…
  • MPIDEQQBF

  • 4篇参考文献[SW1867 1]
  • 提出一种解决量化问题的轻量级方法布尔公式(QBFS)并行。特别地。。。基于假设的求解器推理并将其整合到我们的新求解器MPIDEQQBF中…
  • 骰子

  • 1篇参考文献[SW360]
  • 实时人工智能问题。骰子提供递进推理作为处理时间关键的方法…VAX/VMS环境。它同时提供布尔多值逻辑实现。有关语法的一些例子…
  • 里巴

  • 1篇参考文献[SW29 435]
  • 文章描述了ReBA,一个知识表示和推理基于机器人的体系结构…扩展动作语言以支持非布尔通量和非确定性因果律…用于后续粗分辨率的历史推理. 因此,建筑结合了互补的力量…
  • 吉米娜

  • 1篇参考文献[SW29 354]
  • 我们介绍和设置仿真框架JimENA布尔-基于树的数据结构;(ii)相应的算法…在该模型中进行仿真合理的时间(iii)离散模型的稳定状态是有效的…
  • 弥散

  • 1篇参考文献[SW1372]
  • 求解启发式极性决策算法布尔可满足性(SAT)。该算法继承了许多特征。在A中解决许多“真实的”实例合理的时间,而最好的现有SAT求解器…
  • 代码怎么写

  • 0篇参考文献[SW27 506]
  • 基于API理解和扩展的搜索布尔模型(E)。多年来的软件…搜索工具往往不能令人满意。一大原因是现有工具缺乏查询…通过应用扩展来执行代码检索布尔模型,考虑两者的影响…
  • 配置检查器

  • 1篇参考文献[ SW28 842 ]
  • 容易出错的网络管理任务。为此原因网络错配成为主要来源。访问控制策略的语义布尔使用二进制决策图(BDDS)的功能。然后我们…