基于硬件可编程逻辑(FPGa)的SaT算法的综述

• 作者: 周进 赵希顺
• 来源期刊: 电子世界
• 学科: 工学
• 关键词: 可编程逻辑 SAT算法 可满足性 FPGA
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 科研发展
• 页码范围: 61-63,69
• 分类号: TN791
• 字数: 3386字
• 语种: 中文

摘要

可满足性问题(简称SAT问题)作为第一个被证明的NP完全问题,是计算机科学的核心问题之一.本文系统总结了基于硬件可编程逻辑(FPGA--- Field Programmable Gate Array)的SAT算法研究.将基于FPGA的SAT算法研究分为了实例型(instance-specificd solver)和应用型(application-specified solver)两种类型.通过对各种方法的深入分析,指出了它们的优点和缺陷,进而提出未来研究的思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵希顺	中山大学逻辑与认知研究所	16	17	3.0	4.0
2	周进	中山大学逻辑与认知研究所	1	3	1.0	1.0