计算机工程与科学2021，Vol.43Issue(12)：2126-2130,5.DOI:10.3969/j.issn.1007-130X.2021.12.005
基于不完全算法的并行FPGA SAT求解器
A parallel FPGA SAT solver based on incomplete algorithm
摘要
关键词
布尔可满足/FPGA/不完全算法/多线程分类
信息技术与安全科学引用本文复制引用
黎铁军,马柯帆,张建民..基于不完全算法的并行FPGA SAT求解器[J].计算机工程与科学,2021,43(12):2126-2130,5.基金项目
国家自然科学基金(62072464,U19A2062) （62072464,U19A2062）
并行与分布处理国家级重点实验室开放基金(WDZC20205500116) （WDZC20205500116）
