温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明提供了一种基于可编程逻辑的硬件SAT求解器，包括预处理模块和FPGA模块。本发明利用可编程逻辑建立硬件SAT求解器，通过对变元的初始指派进行预处理，提前指导最优真值指派的搜索趋势，以及求解时优先通过查找预存的概率映射表对应的概率对变元...
该专利属于中国人民解放军国防科技大学所有，仅供学习研究参考，未经过中国人民解放军国防科技大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。