一种基于可编程逻辑的硬件SAT求解器

摘要

本发明提供了一种基于可编程逻辑的硬件SAT求解器，包括预处理模块和FPGA模块。本发明利用可编程逻辑建立硬件SAT求解器，通过对变元的初始指派进行预处理，提前指导最优真值指派的搜索趋势，以及求解时优先通过查找预存的概率映射表对应的概率对变元进行翻转，既解决了现有软件SAT求解器算法复杂，效率较低，且求解成功率不高的技术问题，又能够减少额外的时间开销，进而加快求解器求解的进程，能够更加高效、便捷地求解相对较大规模的SAT问题。