摘要
使用硬件方法求解SAT问题,采用现场可编程门阵列(FPGA)技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.
In this paper, we customized the FPGA chip to fit the SAT problem,e, g. ,translating and compiling the large scale system,and then seccessfully solved the problem by FPGA autonomously.
出处
《微电子学与计算机》
CSCD
北大核心
2016年第9期124-127,共4页
Microelectronics & Computer
基金
国家自然科学基金(61402121
11371003
11461006)
广西自然科学基金(2013GXNSFAA019342
2012GXNSFGA060003)
广西高校科学技术研究项目(ZD2014044)
广西教育厅科研资助项目(201012MS274)
广西民族大学2015年研究生教育创新计划项目(gxun-chxs2015097)