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

作　　者：周进[1] 赵希顺[1] 

机构地区：[1]中山大学逻辑与认知研究所

出　　处：《电子世界》2012年第6期61-63,69,共4页Electronics World

基　　金：国家自然科学基金资助项目(项目编号:60970040)

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

关 键 词：可编程逻辑 SAT算法 可满足性 FPGA 

分 类 号：TN911.72[电子电信—通信与信息系统]