• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Annals of Mathematics and Artificial Intelligence >Efficient data structures for backtrack search SAT solvers
【24h】

Efficient data structures for backtrack search SAT solvers

机译：回溯搜索SAT求解器的高效数据结构

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The implementation of efficient Propositional Satisfiability (SAT) solvers entails the utilization of highly efficient data structures, as illustrated by most of the recent state-of-the-art SAT solvers. However, it is in general hard to compare existing data structures, since different solvers are often characterized by fairly different algorithmic organizations and techniques, and by different search strategies and heuristics. This paper aims the evaluation of data structures for backtrack search SAT solvers, under a common unbiased SAT framework. In addition, advantages and drawbacks of each existing data structure are identified. Finally, new data structures are proposed, that are competitive with the most efficient data structures currently available, and that may be preferable for the next generation SAT solvers.
机译：高效的命题可满足性（SAT）求解器的实现需要利用高效的数据结构，如大多数最新的SAT求解器所示。但是，通常很难比较现有的数据结构，因为不同的求解器通常具有完全不同的算法组织和技术以及不同的搜索策略和启发式方法。本文旨在在通用的无偏SAT框架下评估回溯搜索SAT求解器的数据结构。此外，还确定了每个现有数据结构的优缺点。最后，提出了新的数据结构，该数据结构与当前可用的最有效的数据结构竞争，并且对于下一代SAT求解器而言可能更可取。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号