• 佐藤

  • 195篇参考文献[ SW044 551 ]
  • 可满足性的主要实用方法SAT考试问题命题逻辑。在过去的十年里…
  • 557篇参考文献[SW06916]
  • 有效率的SAT考试求解器。Boolean Satisfiability可能是组合优化/搜索中最受关注的问题。问题. 重要的…提供切实可行的解决办法问题问题在一系列应用程序中遇到的实例…在几个发展中达到顶点SAT考试包,无论是专有的和在公共领域…
  • SAT4J

  • 68篇参考文献[SW0783]
  • 布尔满意与优化问题的求解问题. 它可以解决SAT考试,Max SAT,伪布尔,极小不可满足…最快的解决方案问题(A)SAT考试Java中的求解器大约是3.25次。
  • SATLIB

  • 57篇参考文献[SW02107]
  • 基准问题我们正在使用的解决方案和工具SAT考试相关研究…作为一个收集网站SAT考试 问题实例、算法和经验表征…
  • 维里克斯

  • 31篇参考文献[ SW0201]
  • 可满足性问题命题公式SAT考试-问题)。为了证明正确性…
  • 扎哈夫

  • 24篇参考文献[SW04707]
  • 箔条,一种求解可满足性的算法(英文)SAT考试问题. 它赢得了最好的完整解决方案…工业和手工制造的基准类别SAT考试2002竞争,最好的解决方案…
  • ZCHAFF2004

  • 21篇参考文献[ SW01032 ]
  • 可满足性问题SAT考试是一个众所周知的NP完全问题问题. 虽然它的复杂性仍然存在…问题近年来发现了许多实际应用。效率的出现SAT考试求解器…
  • 尼弗

  • 17篇参考文献[SW06958]
  • 实例的原始算法SAT考试 问题变量消除分辨率,具有指数空间复杂度…用于SAT考试求解器。我们提出了两种技术的结合:我们使用尼弗…然后求解简化问题使用DPLLSAT考试求解器。尼弗是严格的公式…
  • 萨登斯坦

  • 17篇参考文献[SW14243]
  • 搜索SAT考试来自组件的求解器。设计计算困难的高性能求解器问题命题可满足性求解器问题SAT考试我们首先介绍一个通用的、高度参数化的求解器…
  • 变形杆菌属

  • 11篇参考文献[SW10080]
  • 近年来,投资组合的解决方法SAT考试 问题CSPs变得越来越普遍。那里…表示CSPs的不同编码SAT考试实例。在本文中,我们利用进展…最好编码CSP问题实例进入SAT考试选择合适的编码…编码和六SAT考试解决方案,最具挑战性的评估问题实例来自…
  • 单行道

  • 34篇参考文献[SW093]
  • 随机算法SAT考试也就是说,可满足性问题对于合取范式的布尔公式…从图着色的许多常用基准问题微处理器验证。我们的算法启发…局部搜索(用于许多)SAT考试算法,例如,在GSAT和WalkSAT…
  • 液化石油气

  • 12篇参考文献[SW20690]
  • 解决计划生成和计划调整问题. 基本搜索方案…Walksat,一个高效的求解过程SAT考试-问题. LPG的搜索空间包括:
  • 25篇参考文献[SW0978]
  • 糖是一种SAT考试基于约束的求解器。约束满足问题(CSP)编码…外部的SAT考试求解器。糖还可以解决约束优化问题问题(COP)和MAX CSP。
  • 反驳

  • 9篇参考文献[SW08417]
  • ValAT可以解决的实证评价SAT考试 问题在现代尺度上…
  • 萨茨拉

  • 84篇参考文献[SW0681]
  • 构建每个实例算法组合SAT考试使用所谓的经验硬度模型…方法把输入作为一个分布问题实例和一组组件求解器…SATzilla在2007被独立证实。SAT考试竞争,我们的SATZILLA07求解者赢得了三…
  • 摩根

  • 6篇参考文献[SW21347 ]
  • 其他研究人员使SAT考试 问题可以很容易地表达、存储和交流…容易被任何先进取代SAT考试 问题求解器。MODGEN很容易使用,非常…
  • 卡萨特

  • 8篇参考文献[SW12924]
  • Boolean Satisfiability的搜索策略SAT考试问题. 我们从提出一个本地搜索开始…
  • SAT竞争

  • 8篇参考文献[SW04623 ]
  • 国际SAT考试竞赛网页。比赛的目的是确定新的挑战…命题可满足性求解器问题SAT考试以及将它们与状态进行比较…
  • 普韦布洛

  • 29篇参考文献[SW073]
  • 通用化SAT考试求解PB可满足性和优化的求解器问题. 实现…解决铅问题,即CNF的整数线性规划和预处理SAT考试并呈现…