• 引用了574篇文章[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔型 可满足性可能是研究最多的组合。。。搜索-尤其是一个特别有效的布尔型一种新的传播和BCP。。。
  • Walksat公司

  • 207篇引用[sw04328]
  • 局部搜索算法求解布尔型 可满足性问题。两种算法都适用于公式。。。
  • 夸夫尔

  • 引用了65篇文章[sw07278]
  • 量化中的冲突与满足布尔型 可满足性第八届国际原则会议论文集。。。冲突驱动学习布尔型 可满足性国际计算机会议论文集。。。
  • 最大解算器

  • 引用了20篇文章[sw01990]
  • 最大布尔型 可满足性(max SAT)是布尔型 可满足性(周六),其中。。。寻求满足中的最大子句数布尔型公式。一根树枝。。。
  • 库贝

  • 引用28篇文章[sw11381]
  • 量化决策系统布尔型公式可满足性. 决定可满足性量化的。。。布尔型公式(QBF)是人工智能领域的一个重要研究课题。许多推理任务涉及。。。映射到决定可满足性一个QBF。在本文中。。。
  • 卫星卫星

  • 参考22篇文章[sw13117]
  • RSat是一个完整的布尔型 可满足性求解器与一个详尽的搜索界面应用程序,如。。。
  • Zchaff2004型

  • 引用21篇文章[sw01032]
  • 布尔型 可满足性问题(SAT)是一个著名的NP完全问题。虽然它的复杂性仍然存在。。。
  • 揭示

  • 引用了20篇文章[sw00801]
  • 现代冲突学习布尔型 可满足性解决方案。抽象/精化过程不断重复,直到。。。
  • 航向信标

  • 引用19篇文章[sw21238]
  • 科学论文。实验结果布尔型 可满足性图着色、图划分和作业车间调度。。。
  • CCASat卫星

  • 参考12篇文章[sw12924]
  • 本地搜索布尔型 可满足性配置检查和子核心。本文提出并分析了。。。一种高效的局部搜索策略布尔型 可满足性(SAT)问题。我们从提议开始。。。
  • 单位步行

  • 引用了35篇文章[sw00993]
  • SAT算法,即可满足性的问题布尔型合取范式中的公式。尽管。。。
  • QBFLIB公司

  • 引用16条[sw09581]
  • 量化布尔型公式可满足性库(QBFLIB)。QBFLIB是实例、解算器和工具的集合。。。与量化有关布尔型公式(QBF)可满足性. QBFLIB是一种服务。。。
  • 库布斯

  • 引用24篇文章[sw09580]
  • QUBOS:确定量化布尔型命题逻辑可满足性解决方案。我们描述QUBOS(量化布尔型解算器。。。量化决策程序布尔型逻辑。该程序基于非正则简化技术,该技术。。。从句形式之后就下架了可满足性可以雇佣解算器。我们证明。。。
  • 泽塔萨

  • 参考7篇文章[sw11459]
  • 泽塔萨-布尔型 可满足性在桌面网格上求解。ZetaSAT是一项研究工作,旨在提高。。。平行布尔型 可满足性(SAT)在桌面网格上求解。ZetaSAT是基于桌面的。。。
  • 粉碎

  • 参考6篇文章[sw21225]
  • 破碎:有效的对称性破坏布尔型 可满足性.布尔型 可满足性(SAT)解算器经历了巨大的改进。。。工作指出对称性在布尔型搜索空间往往是罪魁祸首。。。在不影响可满足性CNF公式的。为了打破对称。。。
  • 土星

  • 引用8篇文章[sw01297]
  • 探测土星是一个布尔型 可满足性基于SAT的静态缺陷检测框架。土星目标。。。
  • 扣环

  • 引用93篇文章[sw07095]
  • 技术来自布尔型约束求解。主要的clasp算法依赖于冲突。。。这项技术在可满足性检查(SAT)。与其他学习ASP解决方案不同,clasp。。。
  • PySAT公司

  • 参考6篇文章[sw25459]
  • SAT oracles原型工具集。布尔型 可满足性(SAT)解决方案是核心。。。