基于硬件模拟的 SAT 求解框架
A Hardware Framework of SAT Solver
-
摘要: 使用硬件方法求解SAT问题, 采用现场可编程门阵列(FPGA)技术, 针对大规模实际系统的CNF公式实例, 定制化编译和转换为FPGA芯片, 并完全依据FPGA硬件完成SAT满足性求解过程.Abstract: 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.