高性能计算技术2015，Issue(5) ：6-13.

SAT问题求解综述

SAT Problem Solving Summarize

周方 何斌 沈延
高性能计算技术2015，Issue(5) ：6-13.
✕
  • NETL
  • NSTL
  • 万方数据

SAT问题求解综述

SAT Problem Solving Summarize

周方 1何斌 1沈延1
扫码查看

作者信息

  • 1. 江南计算技术研究所 无锡214000
  • 折叠

摘要

可满足性问题(Satisfiability Problem,简称SAT问题)涉及到逻辑学、图论、计算机科学和计算机工程等多个研究领域.随着SAT求解算法研究的发展,SAT求解器已经可以解决程序分析、EDA设计和密码分析等多个行业中的实际问题.当前,SAT求解算法主要有完备算法和不完备算法,这两种算法针对不同应用都有各自的特点.通过研究和分析可以看出,今后基于行业领域的SAT求解算法优化、自动化问题编码和SAT求解并行化,将成为SAT求解技术的未来发展方向.

关键词

可满足性问题/相变现象/SAT求解器/完备算法/不完备算法/CNF

引用本文复制引用

出版年

2015
高性能计算技术
中国人民解放军总参第五十六研究所

高性能计算技术

影响因子：0.038
ISSN：
参考文献量1
段落导航相关论文