[发明专利]一种基于可编程逻辑的硬件SAT求解器有效
| 申请号： | 201911416673.4 | 申请日： | 2019-12-31 |
| 公开（公告）号： | CN111159631B | 公开（公告）日： | 2023-08-11 |
| 发明（设计）人： | 肖立权;马柯帆;张建民;赖明澈;徐金波;黎渊;熊泽宇;欧洋;庞征斌;刘路;吕方旭 | 申请（专利权）人： | 中国人民解放军国防科技大学 |
| 主分类号： | G06F17/10 | 分类号： | G06F17/10 |
| 代理公司： | 北京丰浩知识产权代理事务所(普通合伙) 11781 | 代理人： | 李学康 |
| 地址： | 410073 湖*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种基于可编程逻辑的硬件SAT求解器，包括预处理模块和FPGA模块。本发明利用可编程逻辑建立硬件SAT求解器，通过对变元的初始指派进行预处理，提前指导最优真值指派的搜索趋势，以及求解时优先通过查找预存的概率映射表对应的概率对变元进行翻转，既解决了现有软件SAT求解器算法复杂，效率较低，且求解成功率不高的技术问题，又能够减少额外的时间开销，进而加快求解器求解的进程，能够更加高效、便捷地求解相对较大规模的SAT问题。 | ||
| 搜索关键词： | 一种 基于 可编程 逻辑 硬件 sat 求解 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学，未经中国人民解放军国防科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911416673.4/，转载请声明来源钻瓜专利网。
