计算机工程与科学2016，Vol.38Issue(4)：634-639,6.DOI:10.3969/j.issn.1007-130X.2016.04.003
基于硬件可编程逻辑的SAT求解算法研究与进展
State of the art and future research of a SAT problem solver on FPGA
摘要
关键词
现场可编程门逻辑/可满足性/求解器Key words
FPGA/SAT/solver分类
信息技术与安全科学引用本文复制引用
马柯帆,肖立权,张建民,黎铁军..基于硬件可编程逻辑的SAT求解算法研究与进展[J].计算机工程与科学,2016,38(4):634-639,6.基金项目
国家自然科学基金(61103083,61133007) （61103083,61133007）
