[发明专利]一种SAT求解器有效

专利信息
申请号: 201810865787.6 申请日: 2018-08-01
公开(公告)号: CN109146077B 公开(公告)日: 2021-10-19
发明(设计)人: 何安平;余旅莹;李鹏飞;张吉霖;冉学斌;张海涛;吴尽昭 申请(专利权)人: 何安平;余旅莹;李鹏飞
主分类号: G06F30/331 分类号: G06F30/331;G06F30/3323;G06N5/00
代理公司: 北京兴智翔达知识产权代理有限公司 11768 代理人: 郭卫芹
地址: 730000 甘肃*** 国省代码: 甘肃;62
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明公开了一种SAT求解器,包括:双向传递链式模块(102),用于双向传递待求解变量;蕴含电路模块(104),用于为所述待求解变量提供蕴含值;冲突检测模块(106),用于检测所述赋值模块(108)的当前赋值是否会引起冲突;赋值模块(108),用于为所述待求解变量赋值,其输出值由该待求解变量的状态机的当前状态和赋值输入的输入信号共同决定。本发明的方案,可以解决现有技术中基于软件实现SAT求解器存在处理效率低的问题,达到提升处理效率的效果。
搜索关键词: 一种 sat 求解
【主权项】:
1.一种SAT求解器,其特征在于,包括:由双向传递链式模块(102)、蕴含电路模块(104)、冲突检测模块(106)和赋值模块(108);其中,所述双向传递链式模块(102),用于双向传递待求解变量;所述蕴含电路模块(104),用于为所述待求解变量提供蕴含值;所述冲突检测模块(106),用于检测所述赋值模块(108)的当前赋值是否会引起冲突;所述赋值模块(108),用于为所述待求解变量赋值,其输出值由该变量的状态机的当前状态和赋值输入的输入信号共同决定。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于何安平;余旅莹;李鹏飞,未经何安平;余旅莹;李鹏飞许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201810865787.6/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top