基于不完全算法的并行FPGA SAT求解器

黎铁军; 马柯帆; 张建民

首页> 中文期刊> 《计算机工程与科学》 >基于不完全算法的并行FPGA SAT求解器

基于不完全算法的并行FPGA SAT求解器

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

可满足性问题是计算机理论与应用的核心问题.在FPGA上提出了一个基于不完全算法的并行求解器pprobSA T+.使用多线程的策略来减少相关组件的等待时间,提高了求解器效率.此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上存储器的资源开销.当所有数据均存储在FPGA的片上存储器时,pprobSA T+求解器可以达到最佳性能.实验结果表明,相比于单线程的求解器,所提出的pprobSA T+求解器可获得超过2倍的加速比.

著录项

来源
《计算机工程与科学》 |2021年第12期|2126-2130|共5页
作者
黎铁军; 马柯帆; 张建民;
展开▼
作者单位

国防科技大学计算机学院湖南长沙410073;

国防科技大学计算机学院湖南长沙410073;

国防科技大学计算机学院湖南长沙410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计与性能分析;
关键词
布尔可满足; FPGA; 不完全算法; 多线程;

相似文献

中文文献
外文文献
专利

1. 基于动态奖惩的CDCL SAT求解器分支启发式算法 [J] . 陈秀兰 ,刘婷 . 计算机工程与科学 . 2019,第003期
2. 基于SAT求解器的故障树最小割集求解算法 [J] . 罗炜麟 ,魏欧 ,黄鸣宇 . 计算机工程与科学 . 2017,第004期
3. SAT求解器算法的改进研究 [J] . 张鑫 ,贾建华 ,陈彩云 . 佳木斯大学学报（自然科学版） . 2016,第001期
4. 基于OpenMP的并行遗传算法求解SAT问题 [J] . 吴贯锋 ,徐扬 ,常文静 . 西南交通大学学报 . 2019,第002期
5. 基于硬件可编程逻辑(FPGa)的SaT算法的综述 [J] . 周进 ,赵希顺 . 电子世界 . 2012,第006期
6. PSA_SAT:求解SAT问题的退火算法并行研究 [C] . 王鹤 ,卢凯 . 2010年全国软件与应用学术会议(NASAC2010) . 2010
7. 关于并行SAT求解器和并行自动演绎推理系统的研究 [A] . 吴贯锋 . 2019

基于不完全算法的并行FPGA SAT求解器

摘要

著录项

相似文献

相关主题

期刊订阅