中国计算机学会会刊
中国科技核心期刊
中文核心期刊
首页
期刊介绍
期刊荣誉
数据库收录
编委会
投稿指南
投稿须知
出版道德
期刊订阅
下载中心
联系我们
English
基于不完全算法的并行FPGA SAT求解器
黎铁军, 马柯帆, 张建民
A parallel FPGA SAT solver based on incomplete algorithm
LI Tie-jun, MA Ke-fan, ZHANG Jian-min
计算机工程与科学 . 2021, (
12
): 2126 -2130 .
