[发明专利]一种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/,转载请声明来源钻瓜专利网。