东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

二阶扩展逻辑的复杂性与表达能力

时间：0
分类：TN911.72[电子电信—通信与信息系统;电子电信—信息与通信工程]
作者机构：[1]中山大学逻辑与认知研究所
相关基金：国家自然科学基金资蛹目（项目编号：60970040）.

中文摘要：

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

同期刊论文项目