基于硬件可编程逻辑的SAT求解算法研究与进展

• 作者: 张建民 肖立权 马柯帆 黎铁军
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 现场可编程门逻辑 可满足性 求解器
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 高性能计算
• 页码范围: 634-639
• 页数: 6页
• 分类号: TP303
• 字数: 4881字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2016.04.003

摘要

布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器.但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速SAT求解过程已成为验证领域的一个研究热点.归纳总结了在SAT求解过程中,利用硬件现场可编程门逻辑FPGA的并行性和灵活性加速求解过程的各种算法研究,着重总结分析了应用型SAT求解器的加速策略.通过对各种方法的深入分析,指出它们的优缺点,为未来的研究提供了思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张建民	国防科学技术大学计算机学院	10	26	3.0	4.0
2	肖立权	国防科学技术大学计算机学院	10	42	5.0	6.0
3	黎铁军	国防科学技术大学计算机学院	10	30	3.0	5.0
4	马柯帆	国防科学技术大学计算机学院	1	3	1.0	1.0