静态SAT问题并行处理器的设计研究

• 作者: 廉德亮 张炜 朱明程
• 来源期刊: 深圳大学学报(理工版)
• 学科: 工学
• 关键词: SAT问题 FPGA 回溯搜索算法 并行处理器
• 年，卷（期）: 2002,（3）
• 页码范围: 24-30
• 页数: 7页
• 分类号: TN402
• 字数: 3040字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2618.2002.03.005

摘要

针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廉德亮	深圳大学信息工程学院	8	25	2.0	5.0
2	朱明程	深圳大学信息工程学院	30	168	5.0	12.0
3	张炜	深圳大学信息工程学院	1	0	0.0	0.0