用于解决约束满足问题的基于CAM的随机局部搜索加速器2025

专利内容

(19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 117275551 A (43)申请公布日 2023.12.22 (21)申请号 202211290546.6 (22)申请日 2022.10.21 (30)优先权数据 17/841,542 2022.06.15 US (71)申请人 慧与发展有限责任合伙企业 地址 美国德克萨斯州 (72)发明人 G ·佩德雷蒂　T ·F ·齐格勒　 T ·范瓦伦伯格　C ·格雷夫斯　 (74)专利代理机构 北京市汉坤律师事务所 11602 专利代理师 初媛媛　吴丽丽 (51)Int.Cl. G11C 15/04 (2006.01) 权利要求书3页 说明书15页 附图11页 (54)发明名称 用于解决约束满足问题的基于CAM的随机局 部搜索加速器 (57)摘要 本公开涉及用于解决约束满足问题的基于 CAM的随机局部搜索加速器。本公开总体上提供 了一种求解K‑SAT问题的方法。该方法包括将用 于K‑SAT问题的以否定析取范式(DNF)编写的布 尔表达式的一个或多个子句编程到三态CAM (TCAM)阵列，该阵列包括TCAM单元构成的列和 行。该方法还包括：将包括期望用于求解该布尔 表达式的一个或多个二进制变量的解释作为输 入沿该列施加到该TCAM阵列；对每个子句返回二 进制值；随机选择一个匹配的匹配线；从一个或 多个违反子句确定所选子句；以及使用所选子句 A 的每个变量的中断计数来改变该解释内的一个 1 或多个文字。