恭喜慧与发展有限责任合伙企业G·佩德雷蒂获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网恭喜慧与发展有限责任合伙企业申请的专利用于解决约束满足问题的基于CAM的随机局部搜索加速器获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117275551B 。
龙图腾网通过国家知识产权局官网在2025-04-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211290546.6，技术领域涉及：G11C15/04；该发明授权用于解决约束满足问题的基于CAM的随机局部搜索加速器是由G·佩德雷蒂;T·F·齐格勒;T·范瓦伦伯格;C·格雷夫斯设计研发完成，并于2022-10-21向国家知识产权局提交的专利申请。
本用于解决约束满足问题的基于CAM的随机局部搜索加速器在说明书摘要公布了：本公开涉及用于解决约束满足问题的基于CAM的随机局部搜索加速器。本公开总体上提供了一种求解K‑SAT问题的方法。该方法包括将用于K‑SAT问题的以否定析取范式DNF编写的布尔表达式的一个或多个子句编程到三态CAMTCAM阵列，该阵列包括TCAM单元构成的列和行。该方法还包括：将包括期望用于求解该布尔表达式的一个或多个二进制变量的解释作为输入沿该列施加到该TCAM阵列；对每个子句返回二进制值；随机选择一个匹配的匹配线；从一个或多个违反子句确定所选子句；以及使用所选子句的每个变量的中断计数来改变该解释内的一个或多个文字。
本发明授权用于解决约束满足问题的基于CAM的随机局部搜索加速器在权利要求书中公布了：1.一种计算机实施方法，包括：由处理器将用于K-可满足性K-SAT问题的以否定析取范式DNF编写的布尔表达式的一个或多个子句编程到三态内容可寻址存储器TCAM阵列，所述TCAM阵列包括TCAM单元构成的列和行，其中，将所述布尔表达式的每个子句编程到所述TCAM阵列的相应行，并且其中，每个子句的每个出现的变量被映射到所述行中的相应TCAM单元，并且其中，每个未出现的变量被编程为无关值；由所述处理器将包括期望用于求解所述布尔表达式的一个或多个二进制变量的解释作为输入，沿所述列施加到所述TCAM阵列；由所述处理器对每个子句返回二进制值；由所述处理器随机选择一个匹配的匹配线；由所述处理器从一个或多个违反子句确定所选子句；以及由所述处理器使用所选子句的每个变量的中断计数来改变所述解释内的一个或多个文字。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人慧与发展有限责任合伙企业，其通讯地址为：美国德克萨斯州；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号